x86: fix spawnd libdeps.
[barrelfish] / usr / spawnd / Hakefile
2015-08-14 Simon Gerberx86: fix spawnd libdeps.
2015-08-14 Simon Gerberarrakis merge: remove megaraid dependency for arm archs
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Gerd ZellwegerRemove the core boot state machine from spawnd.
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
2012-02-03 Kornilios Kourtisvfsfd: provide a thin library for unix-like system...
2012-01-10 Simon GerberAdded AHCI driver (ahcid), AHCI user-space library...
2011-12-27 Andrew Baumannmerge
2011-12-20 Andrew Baumannmove bootinfo request messages to monitor's RPC interfa...
2011-10-08 pravin@inf.ethz.chAdded a library procon for producer/consumer based...
2011-09-01 Simon Peter* Added compile trace replayer
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.