Backend for OSKit 1.0.

See documentation in package oskit10_support_l4env_full for further details.
