menu "Opensbi Configuration"

    config OPENSBI_CONSOLE_UART_REG_ADDR
        hex
        default 0x91400000 if RTT_CONSOLE_UART0
        default 0x91401000 if RTT_CONSOLE_UART1
        default 0x91402000 if RTT_CONSOLE_UART2
        default 0x91403000 if RTT_CONSOLE_UART3
        default 0x91404000 if RTT_CONSOLE_UART4
    
    menuconfig OPENSBI_USE_PREBUILT_FW_JUMP
        bool "OpenSBI Use Prebuilt FW Jump"
        default n

        if OPENSBI_USE_PREBUILT_FW_JUMP
            config OPENSBI_PREBUILT_FW_JUMP_PATH
                string "Prebuilt FW Jump Path (under board folder)"
                default "opensbi_fw_jump.bin"
        endif
endmenu
