teensycore (cargo): A kernel for the teensy4.0 microcontroller
Keywords: embedded|kernel|no-std|teensy|teensy-4|baremetal|rust|teensy4