A C++ library for AVR and NodeMCU
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Open IoT Framework
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
Porting Android to the iPAQ 200/210/211/212/214 or equilivalent