ARMv7: bit.LITTLE boot target
[barrelfish] / usr / skb / programs / plat_VE_A15x4_A7x4.pl
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 % Copyright (c) 2016, ETH Zurich.
3 % All rights reserved.
4 %
5 % This file is distributed under the terms in the attached LICENSE file.
6 % If you do not find this file, copies can be found by writing to:
7 % ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
8 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9
10 % Statically-initialised hardware facts for the big.LITTLE Fixed Virtual
11 % Platform with 4 A15 cores and 4 A7
12
13 cpu_driver(cortexA15, "/armv7/sbin/cpu_a15ve").
14 monitor(cortexA15, "/armv7/sbin/monitor").
15
16 % The A7 runs fine with the A15 CPU driver.
17 cpu_driver(cortexA7, "/armv7/sbin/cpu_a15ve").
18 monitor(cortexA7, "/armv7/sbin/monitor").
19
20 % One cluster of four Cortex A15s
21 arm_core(16'000000,cortexA15).
22 arm_core(16'000001,cortexA15).
23 arm_core(16'000002,cortexA15).
24 arm_core(16'000003,cortexA15).
25
26 % A second cluster of four Cortex A5s
27 arm_core(16'000100,cortexA7).
28 arm_core(16'000101,cortexA7).
29 arm_core(16'000102,cortexA7).
30 arm_core(16'000103,cortexA7).