This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

libosdk stands for operating system development kit, which is simply a library containing low-level architecture dependent assembly procedures you can use to develop your own os without using assembly language or even know about it.

The Palacios VMM integrated with the Kitten Ligthweight Kernel. Palacios is a lightweight and modular VMM developed by Northwestern University and the University of New Mexico. Kitten is a Lightweight OS Kernel developed by Sandia National Labs.

RedBrick project tries to bring the best commonly
available open source software pieces like linux 2.6, lustre,
sleepycat, mysql, tipc,openais and others
available in the above paradigms together as a
integrated single downloadable cluster image. T

SylixOS real-time operating system, system layer consistent with the POSIX standard (except some kernel service). some open source software has been integrated into SylixOS. it is a complete embedded software development platform.