Is it running a kernel? seL4?
Also, great work on the space today. Thoroughly enjoyed it!
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!
Glad you enjoyed the space!
❤️1