The whole goal of my power supply is that its central brain should be a microcontroller, which should be able to control everything about the power supply. The current Arduino I'm using only has 8 bit DAC resolution, which obliges me to make 4 separate output stages in order to control my output voltage with my desired resolution. The 12 bit DAC resolution of the Teensy LC would mean I would only need one stage to set the voltage and I could set the voltage with an even higher resolution. That would need some adapting to my filter because of the lower frequency of the PWM signal (11.7 kHz vs 31.25 kHz on my 3.3V Arduino Pro Mini), but nothing unmanageable (I assume the DAC of the Teensy board is the same as for the Arduino, in that it generates a PWM signal and not the literal voltage). However, a Teensy would greatly simplify the end circuit and give me mode power to do all kinds of things with that power supply.

So yeah, I could use a Teensy :)