Open Source middleware platform with FreeRTOS, processor abstraction
A GUI system for embedded systems.
ext2/3/4 library for microcontrollers
Python Library for accessing UEFI BIOS internal function by protocol
Synthesizing embedded control software from formal specifications
Alternative PE to rescue, hack or troubleshoot your machine or network