ARMv7: FVP A15 starts in secure mode, so use the right timer IRQ.
authorDavid Cock <david.cock@inf.ethz.ch>
Fri, 2 Sep 2016 10:44:23 +0000 (12:44 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Fri, 2 Sep 2016 10:44:23 +0000 (12:44 +0200)
commit252054833be452fa012ebd1ec8880f5a8be8c8bb
treefd74100a4a93a49a22d6c3129701b88a36e4bf68
parentec29f3c52ffbbbb6a5e47c22e6d33e126c3e6b1c
ARMv7: FVP A15 starts in secure mode, so use the right timer IRQ.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/menu.lst.armv7_a15ve_fvp_1
hake/menu.lst.armv7_a15ve_fvp_4