A basic microkernel
ISC License
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