1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2% Copyright (c) 2017, 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, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9
10% Statically-initialised hardware facts for the ThunderX CN88xx SoC
11boot_driver("/armv8/sbin/boot_armv8_generic").
12cpu_driver("/armv8/sbin/cpu_cn88xx").
13monitor("/armv8/sbin/monitor").
14
15
16% boot dirver entry points
17entry_symbol(armBootBSP, "boot_entry_bsp").
18entry_symbol(armBootPSCI, "boot_entry_psci").
19entry_symbol(armBootParking, "boot_entry_parking").
20
21% ACPI quirks
22acpi_quirk(AcpiInitializeObjects, 16'00).
23