Tool kit for building highly secure special-purpose operating systems
The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and manage sub-sandboxes out of their own resources, thereby forming hierarchies where policies can be applied at each level. The framework provides mechanisms to let programs communicate with each other and trade their resources, but only in strictly-defined manners. Thanks to this rigid regime, the attack surface of security-critical functions can be reduced by orders of magnitude compared to contemporary operating systems.
Generic SCSI target subsystem for Linux SCST allows creation of sophisticated storage devices. It includes generic SCSI target core with SCSI target drivers and backend handlers. There are target drivers for iSCSI, Fibre Channel, SRP, SAS, FCoE, etc.
Simple AVR OS
An Embedded System simple Operating System Framework that allows rapid development of applications build for AVR family but can be ported to other architectures easily enough. System is Round-Robin Co-operative multitasking. Supports: UART, SysTick Timer, ADC, SPI, EEPROM, PWM. Also supports: Xilinx FPGA configuration, FPGA SSI interface, smart card reader etc. Tested partially (different modules in each case) on ATMega163/16/32/323/8. Additionally tools for converting FPGA bitstreams to C table are provided.
BLibrestez Robotics Software Library Project
http://sourceforge.net/feeds/p/PROJECT-BLIBRESTEZ55ROBOTICS/issueupdates/basic BLIBRESTEZ55ROBOTICSPROJECT/downloads/basic http://sourceforge.net/feeds/p/PROJECT Copyright©2011-2020 BLibrestez55Ro
The Banana Kernel is an open-source pedagogical operating system intended to provide useful means for teaching basic OS concepts, with the possibility of interaction with external modules developed by the teacher or student.
Nevux is an object-orientated non-preemptive operating system for micro-controllers written in C++. It is separated in portable and device specific code.