149c6ad2aSYu-Chien Peter Lin$(call force,CFG_RV64_core,y) 249c6ad2aSYu-Chien Peter Lin 349c6ad2aSYu-Chien Peter Lin# ISA extension flags 449c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_ISA_C,y) 549c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_FPU,y) 649c6ad2aSYu-Chien Peter Lin 749c6ad2aSYu-Chien Peter Lin$(call force,CFG_CORE_LARGE_PHYS_ADDR,y) 849c6ad2aSYu-Chien Peter Lin$(call force,CFG_CORE_RESERVED_SHM,n) 949c6ad2aSYu-Chien Peter Lin$(call force,CFG_CORE_DYN_SHM,y) 1049c6ad2aSYu-Chien Peter Lin 1149c6ad2aSYu-Chien Peter LinCFG_DT ?= y 1249c6ad2aSYu-Chien Peter Lin 1349c6ad2aSYu-Chien Peter Lin# Crypto flags 1449c6ad2aSYu-Chien Peter Lin$(call force,CFG_WITH_SOFTWARE_PRNG,y) 1549c6ad2aSYu-Chien Peter Lin 1649c6ad2aSYu-Chien Peter Lin# Protection flags 1749c6ad2aSYu-Chien Peter Lin$(call force,CFG_CORE_SANITIZE_KADDRESS,n) 1849c6ad2aSYu-Chien Peter Lin 1949c6ad2aSYu-Chien Peter Lin# Hart-related flags 2049c6ad2aSYu-Chien Peter Lin$(call force,CFG_TEE_CORE_NB_CORE,4) 2149c6ad2aSYu-Chien Peter LinCFG_NUM_THREADS ?= 8 2249c6ad2aSYu-Chien Peter Lin$(call force,CFG_BOOT_SYNC_CPU,n) 2349c6ad2aSYu-Chien Peter Lin 2449c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_M_MODE,n) 2549c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_S_MODE,y) 2649c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_PLIC,n) 2749c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_SBI_CONSOLE,n) 2849c6ad2aSYu-Chien Peter Lin$(call force,CFG_SIFIVE_UART,y) 2949c6ad2aSYu-Chien Peter Lin$(call force,CFG_RISCV_TIME_SOURCE_RDTIME,y) 3049c6ad2aSYu-Chien Peter LinCFG_RISCV_MTIME_RATE ?= 1000000 3149c6ad2aSYu-Chien Peter LinCFG_RISCV_SBI ?= y 3249c6ad2aSYu-Chien Peter LinCFG_RISCV_WITH_M_MODE_SM ?= y 33*00eea924SMarouene BoubakriCFG_RISCV_SBI_MPXY ?= y 3449c6ad2aSYu-Chien Peter Lin 3549c6ad2aSYu-Chien Peter Lin# TA-related flags 3649c6ad2aSYu-Chien Peter Linsupported-ta-targets = ta_rv64 3749c6ad2aSYu-Chien Peter Lin 3849c6ad2aSYu-Chien Peter Lin# Memory layout flags 3949c6ad2aSYu-Chien Peter LinCFG_TDDRAM_START ?= 0xF1000000 4049c6ad2aSYu-Chien Peter LinCFG_TDDRAM_SIZE ?= 0x01000000 41