/*
 * Copyright (c) 2017 Jean-Paul Etienne <fractalclone@gmail.com>
 * Copyright (c) 2017 Palmer Dabbelt <palmer@dabbelt.com>
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef __INC_BOARD_H
#define __INC_BOARD_H

#include <soc.h>

/*
 * UART clock configurations
 *
 * Define them here so that it can be replaced by global variables
 * on other boards where the uart clock is determined dynamically
 * following the PLL configuration
 */
#define uart_fe310_port_0_clk_freq    16000000
#define uart_fe310_port_1_clk_freq    16000000

/* LEDS configuration */
#define LED0_GPIO_PORT        "gpio0"
#define LED1_GPIO_PORT        "gpio0"
#define LED2_GPIO_PORT        "gpio0"

#define LED0_GPIO_PIN         19
#define LED1_GPIO_PIN         21
#define LED2_GPIO_PIN         22

#endif /* __INC_BOARD_H */