if TARGET_MICROCHIP_ICICLE config SYS_BOARD default "mpfs_icicle" config SYS_VENDOR default "microchip" config SYS_CPU default "generic" config SYS_CONFIG_NAME default "microchip_mpfs_icicle" config SYS_TEXT_BASE default 0x80000000 if !RISCV_SMODE default 0x80200000 if RISCV_SMODE config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select GENERIC_RISCV select BOARD_EARLY_INIT_F imply SMP imply SYS_NS16550 endif