Configuration generator: Some code for Teensy support.