Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-03-12 | Update to new privileged spec | Andrew Waterman | 1 | -45/+30 |
2015-02-09 | work in progress on new supervisor spec | Andrew Waterman | 1 | -2/+2 |
2014-06-03 | Turn off interrupts when talking to host | Andrew Waterman | 1 | -0/+14 |
2013-07-13 | Support Linux ABI and (optionally) virtual memory | Andrew Waterman | 1 | -0/+12 |
2013-03-25 | add BSD license | Andrew Waterman | 1 | -0/+2 |
2012-11-17 | fix spinlocks; add --disable-atomics cfg opt | Andrew Waterman | 1 | -17/+32 |
2011-06-19 | temporary undoing of renaming | Andrew Waterman | 1 | -0/+45 |
2011-06-19 | Renamed packages | Andrew Waterman | 1 | -45/+0 |
2010-10-11 | [pk] no amos for now, add a sync before triggering the frontend | Yunsup Lee | 1 | -2/+8 |
2010-09-06 | [pk] use __sync_* builtins for atomics | Andrew Waterman | 1 | -6/+2 |
2010-08-18 | [pk,fesvr] improved proxykernel build system | Andrew Waterman | 1 | -0/+43 |