Backend for OSKit 0.6.

See documentation in package oskit10_support_l4env_full for further details.
