Controlix is a control theory based operating system. It abstracts the complete abstraction hierarchy of computer systems principles, from basic signal-on-wire all the way up to abstract libraries and interface linkage. It is written in the VHDL language and is designed to be modular, synchronous, and retargetable.
BugOS is a microkernel operating system. It has a kernel, device drivers, a file system, and an Internet module. The main concepts are that every process has its own computer with its own console, security, and modularization. If a process wants to read the file, it asks the kernel. The kernel forwards the request to the filesystem driver, which reads and writes through the partition handler, which operates over the idehdd driver. The kernel is around 20 KB. Processes are fully separated from hardware.
openmamba is a fully featured GNU/Linux distribution for desktops, notebooks, netbooks, and servers. It runs on computers based on the 32-bit Intel x86 architecture, or on 64-bit AMD processors in 32-bit mode. openmamba comes with both free and closed source drivers for the most frequently used video cards. It supports compiz out of the box. It has preinstalled multimedia codecs, and can install the most frequently used closed source applications for GNU/Linux (such as Flash Player or Skype) very easily.
HotSpotEngine is a Web based software for the HotSpot Billing System and all-in-one hotspot management solutions. It supports wireless or wired networking. It is designed to run on a dedicated PC, and it is available as an installable CD image (ISO). It comes with a Linux-based OS and all required software included. Its main features include the ability to create randomly generated vouchers, prepaid user accounts with time limits or data limits, the ability to refill vouchers, and user sign-up via PayPal integration.
Nexus is a new operating system for trustworthy computing. It can take advantage of Trusted Platform Modules (TPMs) to issue trustworthy certificates of program properties. It provides user-level device drivers, isolated protection domains, interprocess communication, and partial POSIX support. It runs on x86 hardware.