17 changed files with
1 additions and
17 deletions
|
|
|
|
@ -14,7 +14,6 @@
|
|
|
|
|
|
|
|
|
|
#include <cbmem.h>
|
|
|
|
|
#include <arch/stages.h>
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* generic stage entry point. override this if board specific code is needed.
|
|
|
|
|
|
|
|
|
|
@ -4,7 +4,6 @@
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
#include <types.h>
|
|
|
|
|
#include <arch/barrier.h>
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <arch/exception.h>
|
|
|
|
|
#include <arch/transition.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
|
|
|
|
|
@ -1,7 +1,6 @@
|
|
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
|
/* This file is part of the coreboot project. */
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <arch/lib_helpers.h>
|
|
|
|
|
#include <arch/mmu.h>
|
|
|
|
|
#include <arch/transition.h>
|
|
|
|
|
|
|
|
|
|
@ -2,7 +2,6 @@
|
|
|
|
|
/* This file is part of the coreboot project. */
|
|
|
|
|
|
|
|
|
|
#include <cbmem.h>
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <arch/lib_helpers.h>
|
|
|
|
|
#include <arch/stages.h>
|
|
|
|
|
#include <arch/transition.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <arch/exception.h>
|
|
|
|
|
#include <armv7.h>
|
|
|
|
|
#include <cbmem.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <boardid.h>
|
|
|
|
|
#include <bootmode.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <arch/exception.h>
|
|
|
|
|
#include <armv7.h>
|
|
|
|
|
#include <boot_device.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <device/mmio.h>
|
|
|
|
|
#include <boot/coreboot_tables.h>
|
|
|
|
|
#include <delay.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <device/mmio.h>
|
|
|
|
|
#include <boot/coreboot_tables.h>
|
|
|
|
|
#include <device/device.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <device/mmio.h>
|
|
|
|
|
#include <boot/coreboot_tables.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
|
|
|
|
|
@ -15,7 +15,7 @@
|
|
|
|
|
|
|
|
|
|
#ifndef __SOC_NVIDIA_TEGRA124_CHIP_H__
|
|
|
|
|
#define __SOC_NVIDIA_TEGRA124_CHIP_H__
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
|
|
|
|
|
#include <gpio.h>
|
|
|
|
|
#include <soc/addressmap.h>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
#include <soc/addressmap.h>
|
|
|
|
|
#include <soc/pmc.h>
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <bootmem.h>
|
|
|
|
|
#include <bootmode.h>
|
|
|
|
|
#include <bootstate.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <cbfs.h>
|
|
|
|
|
#include <halt.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <cbfs.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
#include <soc/mmu.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <bootmode.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
#include <device/device.h>
|
|
|
|
|
|
|
|
|
|
@ -13,7 +13,6 @@
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <arch/cache.h>
|
|
|
|
|
#include <arch/mmu.h>
|
|
|
|
|
#include <device/mmio.h>
|
|
|
|
|
#include <console/console.h>
|
|
|
|
|
|