1# Copyright (c) 2017 Jean-Paul Etienne <fractalclone@gmail.com>
2# Copyright (c) 2024 Antmicro <www.antmicro.com>
3# SPDX-License-Identifier: Apache-2.0
4
5config SOC_SERIES_SIFIVE_FREEDOM_FU500
6	bool
7
8	select 64BIT
9
10	# RISC-V options
11	select RISCV
12	select RISCV_PRIVILEGED
13	select RISCV_HAS_PLIC
14	select RISCV_PMP
15	select RISCV_SOC_HAS_GP_RELATIVE_ADDRESSING
16
17	select RISCV_ISA_RV64I
18	select RISCV_ISA_EXT_M
19	select RISCV_ISA_EXT_A
20	select RISCV_ISA_EXT_C
21	select RISCV_ISA_EXT_ZICSR
22	select RISCV_ISA_EXT_ZIFENCEI
23
24	select SOC_EARLY_INIT_HOOK
25	select INCLUDE_RESET_VECTOR
26	imply XIP
27
28config SOC_SIFIVE_FREEDOM_FU540_U54
29	bool
30	select RISCV_ISA_EXT_G
31	select CPU_HAS_FPU_DOUBLE_PRECISION
32