This is awesome, I hadn't seen this before. How would you compare developing on this with something like FreeRTOS or some other RTOS that doesn't really have a

This is awesome, I hadn't seen this before. How would you compare developing on this with something like FreeRTOS or some other RTOS that doesn't really have a user space? I get the security benefits, I'm curios about the developer experience, how much code you have to write yourself to get going, how's the toolchain, etc.