ChibiOS/RT in brief ChibiOS/RT is designed for deeply embedded real time applications where execution efficiency and compact code are important requirements. This RTOS is characterized by its high portability, compact size and, mainly, by its architecture optimized for extremely efficient context switching. Feature highlights: Efficient and portable preemptive kernel.
I have packaged ChibiOS/RT as an Arduino library. It runs on ATmega328, ATmega1280, and ATmega2560 standard Arduino boards. I have used ChibiOS/RT with my Arduino SD library to log analog pins to an csv file on an SD card at 976 samples per second with four analog values per sample. 976 Hz is the tick value using the Ardunio timer. I used the Adruino ADC software for the avr 10-bit ADC. The library and examples are here http://code.google.com/p/beta-lib/downloads/list the file is ChibiOS20111027.zip.