ARMv7: A15/A17 FVPs. Don't quite work yet.
authorDavid Cock <david.cock@inf.ethz.ch>
Thu, 1 Sep 2016 19:15:21 +0000 (21:15 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Thu, 1 Sep 2016 19:15:21 +0000 (21:15 +0200)
commitec29f3c52ffbbbb6a5e47c22e6d33e126c3e6b1c
tree660ec3f1fa10405440b739d2e6f2a59300c3cb1d
parented7c728d82b5c40f9b65a49ba24a01016add7c16
ARMv7: A15/A17 FVPs.  Don't quite work yet.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/menu.lst.armv7_a15ve_fvp_1 [new file with mode: 0644]
hake/menu.lst.armv7_a15ve_fvp_4 [new file with mode: 0644]
kernel/arch/armv7/init.c
kernel/arch/armv7/plat_a15mpcore.c
kernel/include/arch/armv7/a15_gt.h
platforms/Hakefile