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

2016-04-06	Lukas Humbel	IRQ: added irq source capability and make the inthandle...	blob \| commitdiff
2015-06-16	Moritz Hoffmann	T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_...	blob \| commitdiff \| diff to current
2015-06-16	Moritz Hoffmann	T119: kernel: Unify debug_print_capabilities in sys_debug.c	blob \| commitdiff \| diff to current
2014-10-20	Simon Gerber	Merge branch 'master' into master-into-distops	blob \| commitdiff \| diff to current
2014-08-20	Stefan Kaestle	Merge with master	blob \| commitdiff \| diff to current
2014-02-28	Simon Peter	The Arrakis backport to Barrelfish.	blob \| commitdiff \| diff to current
2014-02-04	Sebastian Wicki	Added basic support for the Cortex A9 Global Timer	blob \| commitdiff \| diff to current
2013-09-04	Claudio Föllmi	timer interrupts enabled	blob \| commitdiff \| diff to current
2013-07-31	Simon Gerber	Added debug syscall & Config.hs variable for physmem...	blob \| commitdiff \| diff to current
2011-08-02	Simon Peter	Merge from ASPLOS tree.	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