require conf/machine/include/riscv/tune-riscv.inc

DEFAULTTUNE = "riscv32nf"

# BootMCU Build Settings
BOOTMCU_MACHINE = "ibex-ast2700_defconfig"
BOOTMCU_FW_BINARY = "ast2700-ibex-spl.bin"