I’m curious if any hardware dev can chime in on this - would it be possible to use such an chip with an RTOS? I’ve seen rtos’es which run on esp32 style mmu-less chips, and it seems that anything with an a core runs an (non-real-time) OS. But could the A chip in this be used to run an RTOS without a host system, for repeatability and real-time operation?