BeRTOS is a real time operating system suitable for embedded platforms. It runs on many microprocessors and microcontrollers, ranging from 8-bit to 32-bit CPUs and even PCs. It’s free and open source, licensed under the GPLv2.
BeRTOS 2.1.0 adds several new features and improvements.
This release adds the BeRTOS Wizard, a tool to generate and configure BeRTOS projects with a comfortable GUI. The build infrastucture can now compile different architectures at the same time. There is a new Watchdog generic interface. The KFile module has been improved with the resync generic function. xmodem has been generalized with the kfile interface. The automated BeRTOS test suite and the Kernel test suite are complete. There is full support for the Atmel AT91SAM7S64, AT91SAM7S128, AT91SAM7S512, AT91SAM7X512. There is an example project for the AT91SAM7X256.
You can get it from the download page.