5 min read
F9 Kernel
F9 is an L4-inspired microkernel for ARM Cortex-M embedded systems. It offers hard real-time determinism, MPU security, efficient scheduling, and POSIX compatibility for critical applications.
2 articles
F9 is an L4-inspired microkernel for ARM Cortex-M embedded systems. It offers hard real-time determinism, MPU security, efficient scheduling, and POSIX compatibility for critical applications.
Rust is being ported to CHERIoT. Progress includes adapting the compiler for 64-bit capabilities on a 32-bit platform, compiling core/alloc, setting up CI, and fixing a CHERIoT-LLVM bug.