L4Env Generic I/O Internals

Version 0.4

generic_io, written by Christian Helmuth  © 2003 Technische Universitaet Dresden