FAIN SNAP provides an active network programming language and interpreter. It allows finite state machines to be operated over a number of network elements. Its main use is to program firewalls and raise alerts. It is a native Debian distribution.
Yamit - Scalable, Portable and High Performance POSIX complaint OS.
Microkernel based Operating System designed for tightly or loosely coupled multiprocessor hardware.