Design and Implementation of the MTX Operating System (2015)