L4/Iguana 1.0

Iguana is designed as a base for the provision of operating system (OS) services for embedded systems. Among others, it provides the underlying OS for Wombat, our version of paravirtualised Linux designed to provide legacy support for embedded...