We used state machine-based software in high assurance systems for easier analysis and synthesis. They&#x27;ve also been used in hardware design and synthesis. I believe LISP OS&#x27;s with functional programming is similar.<p>All in all, many interesting and robust systems have leveraged state machine model in design. So it&#x27;s really neat to see an OS that tries to build on this pattern from core up. I look forward to digging into it. Plus, might help with an idea ive been toying with about implementing an OS kernel in hardware: state machine synthesis is already good and these are state machines.