1 /* SPDX-License-Identifier: GPL-2.0-or-later */
6 * Note: This board uses boot flow: TFA -> coreboot.
10 /* TF-A arg which contains a pointer to fdt */
14 msr SPSel, #0 /* use SP_EL0 */
16 /* ==== stack init from arm64_init_cpu ==== */
17 ldr x2, =0xdeadbeefdeadbeef
29 /* Jump to main() in DRAM. */