In case you're interested in an alternative approach, you may find pijFORTHos interesting. It's a bare-metal FORTH for the RPi, based on the excellent "jonesforth" literate programming tutorial. In it's current incarnation, it is extremely simple and light-weight (~8k for the whole kernel). To achie...