History log of /barrelfish-master/devices/gic_v2_cpu.dev
Revision Date Author Comments
# 1de2bb24 12-Apr-2017 Lukas Humbel <lukas.humbel@inf.ethz.ch>

ARMv8: Give correct name to GIC files

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