/* 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 */