pico]OS is a highly configurable and very fast real time operating system (RTOS). It targets a wide range of architectures, from very small 8 bit processors and microcontrollers up to very huge platforms. Ports are available for ARM Cortex-M0/3/4, MSP430, PIC32, 6502, AVR, PPC and 8086
These details are provided for information only. No information here is legal advice and should not be used as such.