Backend for OSKit 1.0 using the L4 environment.

See the doc/ directory for further details.
