First outline of a process management service server.
[barrelfish] / hake / menu.lst.x86_64
2017-08-31 Razvan DamachiFirst outline of a process management service server.
2016-11-21 Moritz Hoffmannkernel/logging: Change default log level to LOG_NOTE
2016-07-29 Lukas HumbelIRQ: start serial_pc16550d binary
2016-07-28 David CockARMv7: Rewrote serial drivers on ARM.
2016-02-25 Moritz Hoffmannmenu.lst: Include eclipseclp_ramfs.cpio.gz
2014-11-26 Reto AchermannCleanup of Xeon Phi Kernel:
2014-11-11 Gerd ZellwegerRename x86boot/armboot -> corectrl.
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Gerd ZellwegerCleanup symbolic targets and menu.lst.
2014-10-14 Gerd ZellwegerBoot cores using Kaluga again.
2014-10-14 Pravintrying to add a single command to which will reboot...
2014-08-21 Raphael Fuchsmenu.lst.x86_64: Revert to clean menu.lst template.
2014-08-20 Reto AchermannVirtIO:
2014-08-20 Reto AchermannRenamed xloader to weever
2014-08-20 Reto AchermannXeon Phi Host Side Driver
2014-08-20 Stefan KaestleSecond set of patches for Bulk Transfer DSL project
2014-08-20 Stefan KaestleAdded code from two Bulk Transfer Distributed Systems...
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
2013-11-21 pravin@inf.ethz.chmerge with code from tty
2013-06-25 Raphael FuchsAdd angler and libangler. Angler is the session initial...
2013-02-23 pravin@inf.ethz.chFixed some issues in contmng which was causing problems...
2012-03-29 Gerd ZellwegerAdjust menu.lst files. Remove arm from SKB hakefiles,
2012-03-22 pravin shindep@inf... Added readme for explaining in brief how to use networking
2012-03-21 pravin shindep@inf... renamed the app E1K_mng to NGD_mng.
2012-01-10 Simon GerberAdded AHCI driver (ahcid), AHCI user-space library...
2011-08-16 akhi akhi@inf.ethz.chApply the multihop patch by alexander grest based on...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.