Initial
Changed compiler prefix to match CSE
Implement clock driver using GPT.
Use spaces instead of tabs for clock driver.
Make sure to export handle_timer as part of the libclock API.
Fix time_stamp() race in clock driver (and we compile now, too).
Implement working serial output over network (M0).
fire_timer might be called with no active timers - if so, ignore it.
[clock] handle rollovers correctly
Add changes so far (scrappy, initial work on frametable).
[M2] Pagetable finished.
[M3] Start work on pagetable/addrspace - initial implementation notes only.
Fix leaking memory in map_page on failure.
Add seL4_Error_Message function to get a string version of an error code.

Not a very good implementation. Really should only be used for debugging.
Add script to output human-readable stack trace from stack PC list.
Make 6e11a73 compile (fixed memory leak in map_page on failure).
[M3] Working two level pagetable.
Add sos_test application for userland tests. Contains basic VM test right now.
Revert SOS to just run the first application normally.

The frametable tests are now out of date and just crash, so there's no point in running them.
Actually add sos_test to the application build menu.