git.barrelfish.org Git - barrelfish/history - include/barrelfish_kpi/dispatcher

2016-07-26	Adam Turowski	Merge branch 'master' of ssh://code.systems.ethz.ch...	blob \| commitdiff
2016-07-26	Adam Turowski	Multi-threaded waitsets, tokens added to IPC messages.	blob \| commitdiff \| diff to current
2016-07-22	Reto Achermann	kernel/kpi: using PRIuGENSIZE in print statements	blob \| commitdiff \| diff to current
2016-06-16	Simon Gerber	kernel: dump_dispatcher: don't print dispatcher name...	blob \| commitdiff \| diff to current
2016-06-16	Simon Gerber	kernel: dump_dispatcher: print dispatcher name	blob \| commitdiff \| diff to current
2016-05-30	Timothy Roscoe	Refactored ARMv7-A code.	blob \| commitdiff \| diff to current
2014-10-15	Gerd Zellweger	Merge branch coreboot.	blob \| commitdiff \| diff to current
2014-10-14	Simon Gerber	Added current core_id so we can properly reroute interr...	blob \| commitdiff \| diff to current
2014-08-20	Reto Achermann	Kernel: Added a new field to the dispatcher struct...	blob \| commitdiff \| diff to current
2011-07-08	Stefan Kästle	Initial version of public stable barrelfish repository.	blob \| commitdiff \| diff to current

Barrelfish OS git repo