Backend for OSKit 1.0 using the L4 environment.

See documentation in package oskit10_support_l4env_full for further details.
