Add a helpful error message when init is still running but the kernel is idle.
config.simics: landslide-save file in /dev/shm
configgen check for bootfd.img
Add support for CONTEXT_SWITCH_ENTER/EXIT2
Stack traces in colour.
config example source dir as 'my-kernel-sources'
Stale minor changes from a long time ago I guess?
Update readme
fix readme
Stupid quick fix for xchg nops in timer wrapper.
print more info on no thread runnable
i should compile before committing
add prints for mutex locking
attempt to debug -1 mutex problem
Fix -1 mutex blocking problem.
Prepare-workspace.sh feedback on error/success.
More info on 'not in right queue' error
Factor out common 'bad annotation' code into LS_ABORT()
Add constness to sched functions
Add HURDLE_VIOLATION()