Merge branch 'master' of ssh://
[barrelfish] / include / barrelfish_kpi / dispatcher_shared.h
2016-07-26 Adam TurowskiMerge branch 'master' of ssh://
2016-07-26 Adam TurowskiMulti-threaded waitsets, tokens added to IPC messages.
2016-07-22 Reto Achermannkernel/kpi: using PRIuGENSIZE in print statements
2016-06-16 Simon Gerberkernel: dump_dispatcher: don't print dispatcher name...
2016-06-16 Simon Gerberkernel: dump_dispatcher: print dispatcher name
2016-05-30 Timothy RoscoeRefactored ARMv7-A code.
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-08-20 Reto AchermannKernel: Added a new field to the dispatcher struct...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.