an unix-like toy os kernel - View it on GitHub