CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
The goal of project is to build CMSIS like environment for LPC2000 series MCU and to write RTOS for LPC2000 and Cortex Microcontrollers
Gebix is a FreeBSD-based operating system that will be available for both x86 and ARM as of version 0.7 Release Candidate 1. It will sacrifice most of the legacy support to transition to new or recent alternatives.
A FOSS operating system that aims to meet NSA's TPEP TCB A1 evaluation standard while retaining application compatibility at minimal performance overhead.