Added park/unpark operations in corectrl to not have problems with domain cleanup...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 3 Dec 2014 19:07:45 +0000 (20:07 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 3 Dec 2014 19:07:45 +0000 (20:07 +0100)
commitc4122f4716a804c32faf61b6b7ad0dbcd16b65ec
tree09112ae2cd15813a2079f17235677dca5c3bb3b5
parent22024d29451f22b03d75e5a2f4e394c73696786f
Added park/unpark operations in corectrl to not have problems with domain cleanup when a KCB is not scheduled anywhere.
lib/barrelfish/waitset.c
tools/harness/machines/qemu.py
tools/harness/tests/coreboottest.py
usr/drivers/cpuboot/main.c