A simple x86 OS for educational purposes