bsp.h

Go to the documentation of this file.

// Copyright (C) 2013-2026 Efinix Inc. All rights reserved.
//
#ifndef BSP_H
#define BSP_H
 
#include "rv64_platform.h"
#include "clint/clint.h"
#include "gpio/gpio.h"
#include "plic/plic.h"
#include "uart/uart.h"
#include "debug.h"
 
#ifdef __cplusplus
extern "C" {
#endif

    /*
    *   Default main peripherals for SoC.
    */
 
#define BSP_PLIC            SYSTEM_PLIC_CTRL
#define BSP_PLIC_CPU_0      SYSTEM_PLIC_CPU_0_MEI
#define BSP_UART_BAUDRATE   115200
#define BSP_UART_DATA_LEN   8
#define BSP_CLINT           SYSTEM_CLINT_CTRL
#define BSP_CLINT_HZ        SYSTEM_CLINT_HZ
#define bsp_uDelay(usec)    clint_uDelay(usec, SYSTEM_CLINT_HZ);
 
#if (SYSTEM_UART_0_IO_CTRL)
    // Real UART Hardware
    extern uart_instance_t uart0; 
    #define BSP_UART_TERMINAL   SYSTEM_UART_0_IO_CTRL
    #define bsp_putChar(c)      uart_write(&uart0, c)
    #define bsp_getChar()       uart_read(&uart0)
#else
    // Dummy Implementation 
    #define BSP_UART_TERMINAL   0
    #define bsp_putChar(c)      ((void)0) 
    #define bsp_getChar()       (0) 
#endif
 
 
 
 
// #define BSP_UART_TERMINAL   SYSTEM_UART_0_IO_CTRL
// #define BSP_UART_BAUDRATE   115200
// #define BSP_UART_DATA_LEN   8
// #define bsp_putChar(c)      uart_write(&uart0, c);
// #define bsp_getChar()       uart_read(&uart0);
 
void bsp_init();

    /*
    *   BSP_PRINTF -> Enable when switch to nosys.spec
    */
 
#if(USELIB == 0)
    static int bsp_printf(const char *format, ...);
    #define printf(...) (bsp_printf(__VA_ARGS__))

    /*
    *   Support printing for char, string , decimal and hexadecinaml specifier.
    *   Support print_float and print_dec function.
    *   Uses moderate memory resource.
    */
#define ENABLE_BSP_PRINTF                   1

    /*
    *   Full support for printf function, including flag and precisions.
    *   Uses more memory resource.
    */
#define ENABLE_BSP_PRINTF_FULL              1

    /*
    *   Enable the function sharing between 'full' and 'lite' printing.
    */
#define ENABLE_BRIDGE_FULL_TO_LITE          1

    /*
    *   Enable more printing specifier like floating point, exponential,
    *   pointer difference and long long data type.
    */
#define ENABLE_FLOATING_POINT_SUPPORT       0 //Printing only 
#define ENABLE_FP_EXPONENTIAL_SUPPORT       0
#define ENABLE_PTRDIFF_SUPPORT              0                                                                        
#define ENABLE_LONG_LONG_SUPPORT            1

    /*
    *   Warning message when specifier is not supported.
    */
#define ENABLE_PRINTF_WARNING               1

    /*
    *   Enable printing with semihosting.
    */
#define ENABLE_SEMIHOSTING_PRINT            0
 
 
#if (ENABLE_BSP_PRINTF)
    #include "print.h"
#endif
 
#if (ENABLE_BSP_PRINTF_FULL)
    #if (!ENABLE_FLOATING_POINT_SUPPORT)
        #define PRINTF_DISABLE_SUPPORT_FLOAT 1
    #endif 
 
    #if (!ENABLE_FP_EXPONENTIAL_SUPPORT)
        #define PRINTF_DISABLE_SUPPORT_EXPONENTIAL 1
    #endif 
 
    #if (!ENABLE_PTRDIFF_SUPPORT)
        #define PRINTF_DISABLE_SUPPORT_PTRDIFF_T 1
    #endif 
 
    #if (!ENABLE_LONG_LONG_SUPPORT)
        #define PRINTF_DISABLE_SUPPORT_LONG_LONG 1
    #endif 
 
    #if(ENABLE_BRIDGE_FULL_TO_LITE)
        #if (!ENABLE_BSP_PRINTF)
            #define bsp_printf bsp_printf_full
        #endif 
    #endif 
 
    #include "print_full.h"
 
#endif 
#endif
 
 
#ifdef __cplusplus
}
#endif
 
#endif