1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright 2022 NXP 4 * 5 * Brief Spike platform configuration. 6 */ 7 8 #ifndef PLATFORM_CONFIG_H 9 #define PLATFORM_CONFIG_H 10 11 #include <mm/generic_ram_layout.h> 12 13 #ifndef HTIF_BASE 14 #define HTIF_BASE 0x40008000 15 #endif 16 17 #endif 18