1e2f6d2fbSMarouene Boubakri$(call force,CFG_RV64_core,y) 2e2f6d2fbSMarouene Boubakri 3883402f5SYu Chien Peter Lin# ISA extension flags 4883402f5SYu Chien Peter Lin$(call force,CFG_RISCV_ISA_C,y) 5883402f5SYu Chien Peter Lin$(call force,CFG_RISCV_FPU,y) 6883402f5SYu Chien Peter Lin 7e2f6d2fbSMarouene Boubakri$(call force,CFG_CORE_LARGE_PHYS_ADDR,y) 809bbd26bSYu Chien Peter Lin$(call force,CFG_CORE_RESERVED_SHM,n) 909bbd26bSYu Chien Peter Lin$(call force,CFG_CORE_DYN_SHM,y) 10e2f6d2fbSMarouene Boubakri 1157988105SAlvin ChangCFG_DT ?= y 1257988105SAlvin Chang 13e2f6d2fbSMarouene Boubakri# Crypto flags 146376023bSAlvin Chang$(call force,CFG_WITH_SOFTWARE_PRNG,n) 156376023bSAlvin Chang$(call force,CFG_HWRNG_PTA,y) 166376023bSAlvin Chang$(call force,CFG_HWRNG_QUALITY,1024) 176376023bSAlvin Chang$(call force,CFG_RISCV_ZKR_RNG,y) 18e2f6d2fbSMarouene Boubakri 19e2f6d2fbSMarouene Boubakri# Protection flags 20e2f6d2fbSMarouene Boubakri$(call force,CFG_CORE_SANITIZE_KADDRESS,n) 21e2f6d2fbSMarouene Boubakri 22e2f6d2fbSMarouene Boubakri# Hart-related flags 231dc521b9SAlvin ChangCFG_TEE_CORE_NB_CORE ?= 1 241dc521b9SAlvin ChangCFG_NUM_THREADS ?= 1 2510b2f530SAlvin Chang$(call force,CFG_BOOT_SYNC_CPU,n) 26e2f6d2fbSMarouene Boubakri 2747a61ff1SAlvin Chang# Interrupt controller 2847a61ff1SAlvin ChangCFG_RISCV_PLIC ?= y 2943730326SHuang BorongCFG_RISCV_APLIC ?= n 3043730326SHuang BorongCFG_RISCV_APLIC_MSI ?= n 3143730326SHuang BorongCFG_RISCV_IMSIC ?= n 3247a61ff1SAlvin Chang 331729a810SAlvin Chang# Console device 341729a810SAlvin ChangCFG_RISCV_SBI_CONSOLE ?= n 351729a810SAlvin ChangCFG_16550_UART ?= y 361729a810SAlvin Chang 3700eea924SMarouene Boubakri# SBI extensions 3800eea924SMarouene BoubakriCFG_RISCV_SBI_MPXY ?= y 39*8e17e072SMarouene BoubakriCFG_RISCV_SBI_MPXY_RPMI ?= y 4000eea924SMarouene Boubakri 41e088dff5SAlvin Chang$(call force,CFG_RISCV_M_MODE,n) 42e088dff5SAlvin Chang$(call force,CFG_RISCV_S_MODE,y) 43e2f6d2fbSMarouene Boubakri$(call force,CFG_RISCV_TIME_SOURCE_RDTIME,y) 44e2f6d2fbSMarouene BoubakriCFG_RISCV_MTIME_RATE ?= 10000000 45e088dff5SAlvin ChangCFG_RISCV_SBI ?= y 4683abc784SAlvin ChangCFG_RISCV_WITH_M_MODE_SM ?= y 47e2f6d2fbSMarouene Boubakri 48e2f6d2fbSMarouene Boubakri# TA-related flags 49e2f6d2fbSMarouene Boubakrisupported-ta-targets = ta_rv64 50e2f6d2fbSMarouene Boubakri 51e2f6d2fbSMarouene Boubakri# Memory layout flags 52e2f6d2fbSMarouene BoubakriCFG_TDDRAM_START ?= 0x8e000000 53e2f6d2fbSMarouene BoubakriCFG_TDDRAM_SIZE ?= 0x00f00000 54e2f6d2fbSMarouene BoubakriCFG_TEE_RAM_VA_SIZE ?= 0x00200000 55