xv6 teaching OS with adaptations for Muen SK