Some years ago I made a power supply using teensy3.1 DAC to drive the output stage. As this device is no longer available and the pin compatible Teensy4.0 has no DAC: What is a possibility to get an analog output from this device? What SPI-DAC IC would be possible?
