Code for the JNode operating system - View it on GitHub