libbarrelfish: merging arch specific hearders for k1om and x86_64
[barrelfish] / lib / barrelfish / Hakefile
2015-06-19 Reto Achermannlibbarrelfish: merging arch specific hearders for k1om...
2015-06-17 Moritz HoffmannT121: kernel: Make BSP KCB a proper capability on ARM
2015-06-16 Moritz HoffmannT118: libbarrelfish: Refactor architecture specific...
2015-06-16 Moritz HoffmannCloses T118: libbarrelfish: Extract common syscalls...
2015-05-04 yauhenkBuild order fix
2015-05-04 Simon GerberMerge large page support code.
2015-05-04 Simon GerberAdded command line arg for overriding default heap...
2015-05-04 Simon GerberAdded Config.hs flag for morecore pagesize.
2015-04-20 Zaheer Chothiathread: add support for one-time global initialization
2015-01-12 Reto Achermannlibbarrelfish: cleanup of code for Xeon Phi
2014-12-10 Reto Achermannlibbarrelfish: adding new memobj type
2014-08-21 Stefan KaestleFixed more build dependency problems
2014-08-20 Reto Achermannlibbarrelfish: added flounder_txqueue as a generic...
2014-08-20 Stefan KaestleMerge with Arrakis branch
2014-08-20 Reto AchermannGetting Hake Ready with K1OM Architecture and Standard GCC
2014-08-20 Stefan KaestleAdded code from two Bulk Transfer Distributed Systems...
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
2013-11-13 Simon PeterMerged.
2013-08-29 Claudio Föllmibasic armv7-m support
2013-06-26 Raphael Fuchslibbarrelfish: Adjust libbarrelfish to new terminal...
2012-07-29 MothyFixed Octopus dependency bug.
2012-03-16 Gerd ZellwegerRenaming errors and header defines...
2012-02-22 Gerd ZellwegerChanges for nameservice. Use RPC client for NS function...
2012-01-23 Andrew Baumannremove support for Beehive
2011-12-27 Andrew Baumannmerge
2011-12-20 Andrew Baumannmove bootinfo request messages to monitor's RPC interfa...
2011-11-13 pravin@inf.ethz.chMerge
2011-09-13 Jana Gicevaadded rpc_client for serial driver
2011-08-16 akhi akhi@inf.ethz.chApply the multihop patch by alexander grest based on...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.