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