This is the beginnings of an OS in Idris. At the moment it is mostly just at the stage of booting on a bare-bones system. It can be run in qemu, virtualbox, or maybe even real hardware. To use qemu run:

qemu-system-i386 -kernel idrOS.bin

To boot in virtualbox, create a virtualbox machine and then use the idrOS.iso.

To actually build the .iso yourself you need to install a cross-compiler. I followed the directions here:

http://wiki.osdev.org/GCC_Cross-Compiler

At the moment, a majority of the code in this project comes from here:

http://wiki.osdev.org/Bare_Bones

The Idris stuff has been hacked just enough so that the RTS/kernel can call Idris which then makes a single FFI call back into the C code.

There is currently no real memory allocation, garbage collection, etc. It's amazing it does anything at all!