Simple OS over L4 microkernel for NSLU2 devices for Advanced Operating Systems course