The Teensy is so 2020 anyways. You want to skate where the puck is going.

You will want boards of the Kendryte K230 or SpacemitK3 (best value RISC-V chips) or Puya PY32 (best cheapest MCU, takes 5V!), and a STM32P1 linux board for good measure.