KataOS will be "a provably secure platform that's optimized for embedded devices that run ML applications" The OS is being developed on the Arm64 instruction set, but the plan is to run it on openTitan, which uses RISC-V. As seL4 is implemented mainly in C, the project
Sort: