A simple toy operating system for Intel x86 (This repository contains works from other people!)