This repository contains code for a very simple microkernel system. Any platform-specific stuff in this code is for QEMU's "versatilepb" emulation, which emulates this board: <http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0224i/Chdbeibh.html>. Any CPU-specific stuff is for the ARM1176 processor. Currently compiling for little-endian, but I would like to change this. You can run the system with: qemu-system-arm -M versatilepb -cpu arm1176 -nographic -kernel kernel.elf Once it is running, you can shut down with ^a-x