blob: 6c9d81ceb14f3b8ff92efd4e4118e27f35b6b55e [file] [log] [blame]
Hadi Asyrafi9f5dfc92019-10-23 16:26:53 +08001/*
2 * Copyright (c) 2019, ARM Limited and Contributors. All rights reserved.
3 * Copyright (c) 2019, Intel Corporation. All rights reserved.
4 *
5 * SPDX-License-Identifier: BSD-3-Clause
6 */
7
8#ifndef PLAT_SOCFPGA_DEF_H
9#define PLAT_SOCFPGA_DEF_H
10
11#include <platform_def.h>
12
13/* Platform Setting */
14#define PLATFORM_MODEL PLAT_SOCFPGA_AGILEX
Hadi Asyrafi786db4d2019-12-30 16:00:30 +080015#define BOOT_SOURCE BOOT_SOURCE_SDMMC
Hadi Asyrafi9f5dfc92019-10-23 16:26:53 +080016
17/* Register Mapping */
18#define SOCFPGA_MMC_REG_BASE 0xff808000
Hadi Asyrafi8ebd2372019-12-23 17:58:04 +080019
Hadi Asyrafi67cb0ea2019-12-23 13:25:33 +080020#define SOCFPGA_RSTMGR_REG_BASE 0xffd11000
Hadi Asyrafi8ebd2372019-12-23 17:58:04 +080021#define SOCFPGA_SYSMGR_REG_BASE 0xffd12000
22
23#define SOCFPGA_L4_PER_SCR_REG_BASE 0xffd21000
24#define SOCFPGA_L4_SYS_SCR_REG_BASE 0xffd21100
25#define SOCFPGA_SOC2FPGA_SCR_REG_BASE 0xffd21200
26#define SOCFPGA_LWSOC2FPGA_SCR_REG_BASE 0xffd21300
Hadi Asyrafi9f5dfc92019-10-23 16:26:53 +080027
28#endif /* PLAT_SOCFPGA_DEF_H */
29