62.5kHz is 8 bit fast PWM at full-whack, no prescaler division, from 16MHz. You can go faster, butyou get fewer than 256 levels then. 100 levels only at 160kHz, etc.
Yes. 1 mH is quite big. I thought i found a good example on digikey.com, but i mislooked it. Schurter DFK-40-0005 is 40 ∙ 40 ∙ 30 mm. Hammond 157D is also like a general adapter - that type of big. 300 uH is 30 ∙ 30 cylindric. By the way i couldn't find a way to select if they are air-gapped.... (and also they cost > 20 $, > than a lot of power suppliers themselves)So i'm looking into raising the frequency. I supposed, but i don't know for real, can a MOSFET-driver increase the frequency?(i know i could modulate it manually by waiting microseconds in Arduino program, or even completely inline, up to 16 Mhz / step but i'll need that Arduino to do a lot of other things, so that's not good.)