Jinix, an Hobby Operating System by Jarvix.