Pretty sure that would be the Portland.HODL kernel, I have wrote all of this from scratch for an STM32 MCU.

Glad you enjoyed the space!