Multi-licence Operating Systems