CantripOS(KataOS) - Rust support in seL4 userspace III. Sparrow development - Develop with Renode IV. Wrap-up ### I. Background # 1) Tech Stack 1.1 Microkernel Overview #### https://en.wikipedia https://opentitan.org/guides/getting_started/index.html ### I. Background ### 1.5 Renode Overview ### https://renode.io/ Antmicro's virtual development framework for complex embedded systems. Reshape Background #### 1.5.1 Src ### https://github.com/renode  [mydev@fedora renode-master]$ find . -name "*.git" ./git