I'm continuing to teach high schoolers to design their own circuit layouts and mill the boards so they can solder them together and have their own custom hardware to keep. The microcontroller I use for these is usually an ATTiny 85, 84, Adafruit Metro Mini, or Raspberry Pi Pico, all relatively inexpensive. What follows is an easier workflow than I've outlined in previous posts.