personal OSo RTOS OSo (bear in Spanish) is a microkernel for embedded systems. OSo supports Raspberry Pi 4 Model B. Rusty OS Rusty-OS is a simple kernel for embedded systems written in Rust. AGL Testbench Automotive Grade Linux Testbench developed by the Embedded Software Group of the University of Waterloo. Computer Science Notes My notes on topics related to computer science. This page is intended as a personal second-brain. open-source Linux Kernel The Linux kernel is a free and open source, UNIX-like kernel. Here is a link to my contributions. meta-freertos FreeRTOS distro layer compatible with OpenEmbedded. NASA F´ (F Prime) F´ (F Prime) is a component-driven framework that for spaceflight applications. Here is a link to my contributions.