| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| /* | |
| * Copyright (c) 2019, HiSilicon Technologies Co., Ltd. | |
| */ | |
| #ifndef PLATFORM_CONFIG_H | |
| #define PLATFORM_CONFIG_H | |
| #include <hi3519av100.h> | |
| /* Make stacks aligned to data cache line length */ | |
| #define STACK_ALIGNMENT 64 | |
| /* PL011 UART */ | |
| #define CONSOLE_UART_BASE PL011_UART0_BASE | |
| #define CONSOLE_BAUDRATE PL011_BAUDRATE | |
| #define CONSOLE_UART_CLK_IN_HZ PL011_UART0_CLK_IN_HZ | |
| #endif /* PLATFORM_CONFIG_H */ |