Diversified model driven operating system teaching