projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd95d9b) | patch
ARMv8: do not initialize a mackerel device for accessing system registers
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:56:51 +0000 (15:56 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:56:51 +0000 (15:56 +0100)
commit28f5d1c182180c5a2c7322e8fa1d2e6ed831b5d0
tree9898da699de7f5c7ba63f9e23c829011c83196e1tree | snapshot
parentbd95d9bd577dc57cb05b6f9caf8f5f50e5030154commit | diff
ARMv8: do not initialize a mackerel device for accessing system registers

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
kernel/arch/armv8/gic_v3.c diff | blob | history
Barrelfish OS git repo