L4/Iguana is a small operating system developed specifically for safe
and secure embedded systems. It runs on the L4 microkernel and supports
running Linux as an application.
L4 NICTA::Pistachio-embedded is a version of the L4 microkernel, based
on L4Ka::Pistachio, designed for embedded systems.
Wombat Linux Server is a port of Linux that runs as an application on
top of L4/Iguana.
OKL4 is a microkernel that is designed to provide
high-performance and secure OS and virtualization
technology especially for use in embedded systems.
It is a descendant of NICTA::Pistachio-embedded,
itself a descendant of L4Ka::Pistachio.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).