aboutsummaryrefslogtreecommitdiff
path: root/pk/atomic.h
AgeCommit message (Expand)AuthorFilesLines
2015-03-12Update to new privileged specAndrew Waterman1-45/+30
2015-02-09work in progress on new supervisor specAndrew Waterman1-2/+2
2014-06-03Turn off interrupts when talking to hostAndrew Waterman1-0/+14
2013-07-13Support Linux ABI and (optionally) virtual memoryAndrew Waterman1-0/+12
2013-03-25add BSD licenseAndrew Waterman1-0/+2
2012-11-17fix spinlocks; add --disable-atomics cfg optAndrew Waterman1-17/+32
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+45
2011-06-19Renamed packagesAndrew Waterman1-45/+0
2010-10-11[pk] no amos for now, add a sync before triggering the frontendYunsup Lee1-2/+8
2010-09-06[pk] use __sync_* builtins for atomicsAndrew Waterman1-6/+2
2010-08-18[pk,fesvr] improved proxykernel build systemAndrew Waterman1-0/+43