Trampoline is a static RTOS for small embedded systems. Its API is aligned with OSEK/VDX OS and AUTOSAR OS 4.2 standards.
6 platforms are supported by now :
cortex
Cortex-M (M0+, M3 and M4 for now) instruction set
Cortex-A (A7) instruction set. This port is under heavy development.
riscv
PULPino microprocessor with 32bits RISC-V instruction set.
ppc: PowerPC 32bits instruction set
posix: virtual platform for POSIX systems (tested on Linux and OS X)
avr: AVR 8 bits microcontrollers
ARM: ARM 32 bits instruction set
virt-v7
Cortex-A9 - Cortex-A7 virtualized instruction set. This port is used with the hypervisor XVisor
1