Các kho mã nguồn mở đang theo dõi của f9micro, sắp xếp theo số sao.
Microkernel hiệu quả và an toàn được xây dựng cho các lõi ARM Cortex-M, lấy cảm hứng từ L4
