ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.
Low power application-configurable Operating System
langOS is an open-source Operating System for Tiny Scale Devices. It supports platforms based on the MSP430 and AVR microcontrollers and is fully written in C.
langOS aims to be simple, easy to configure and independent of the development host platform. It should be comfortable on Windows, Linux and MacOS platforms.
Public Domain Operating System (currently x86 and 80386 and S/370 and S/390). Note that latest source code is here in git, but latest executables and packaged source are at http://pdos.org
This project is now in the research and development stage. It is intended for very small microcontrollers with a single processor and represent simple multithreading kernel what written by C language. Is planning create implementations for AVR8 and STM8, may be. Now it is suspended until better time.
Contiki is an open source, highly portable, networked, multi-tasking operating system for memory-constrained systems.
Contiki current source code: https://github.com/contiki-os/contiki
Contiki historical source code: https://github.com/adamdunkels/contiki-1.x
A new kernel I am developing in my spare time. The eventual solution I hope will involve a 32 bit base kernel and 64 bit extensions therefore maximising compatibility with non 64 bit machines. Database oriented. Checkout http://www.love2code.org
UPDATE 18-Dec-2011
Updates haven't occurred for some time (April) due to working and studying for my Computer Science degree at the University of Ulster, but it's Christmas! so may be we'll get a little closer to doing some more work.
I have...
Nemesis is a tiny real time operating system kernel based on x86 PCs.
Its main purpose is to serve as a simple but realistic example of an real time OS kernel running on real hardware..the purpose of this is that it can be embedded in small devices lik
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.