git.barrelfish.org Git - barrelfish/commit

author	Lukas Humbel <lukas.humbel@inf.ethz.ch>
	Wed, 12 Apr 2017 17:05:46 +0000 (19:05 +0200)
committer	Lukas Humbel <lukas.humbel@inf.ethz.ch>
	Thu, 13 Apr 2017 09:09:29 +0000 (11:09 +0200)
commit	d6fbc95b8ce6d6b2bd58b38a50d9134db2d49185
tree	ab573a8a41c78ac92d861c073d1ae999c4fbb632	tree \| snapshot
parent	3e3c625f84aeab9b076821f93e3b40380c40528f	commit \| diff

ARMv8: Make GIC400 work. Timer interrupts work.

GIC400 is in fact a GICv2, files need to be renamed. It is found
for instance on the X-Gene Mustang.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Barrelfish OS git repo

RSS Atom

devices/gic_v3.dev		diff \| blob \| history
devices/gic_v3_cpu.dev		diff \| blob \| history
kernel/arch/armv8/exn.c		diff \| blob \| history
kernel/arch/armv8/gic_v3_mmio.c		diff \| blob \| history
kernel/arch/armv8/startup_arch.c		diff \| blob \| history
kernel/arch/armv8/timers.c		diff \| blob \| history