Backend for OSKit 1.0.

Don't use this library, it is intended for internal use only. See the
doc/ directory of package oskit10_support_l4env_full for further details.
