1$(call force,CFG_RV64_core,y) 2 3$(call force,CFG_CORE_LARGE_PHYS_ADDR,y) 4$(call force,CFG_TEE_CORE_DEBUG,n) 5$(call force,CFG_CORE_DYN_SHM,n) 6 7# Crypto flags 8$(call force,CFG_WITH_SOFTWARE_PRNG,y) 9 10# Protection flags 11$(call force,CFG_CORE_ASLR,n) 12$(call force,CFG_WITH_STACK_CANARIES,n) 13$(call force,CFG_CORE_SANITIZE_KADDRESS,n) 14 15# Hart-related flags 16$(call force,CFG_TEE_CORE_NB_CORE,1) 17$(call force,CFG_NUM_THREADS,1) 18$(call force,CFG_BOOT_SYNC_CPU,y) 19 20# RISC-V-specific flags 21rv64-platform-isa ?= rv64imafdc_zicsr_zifencei 22 23$(call force,CFG_RISCV_PLIC,y) 24$(call force,CFG_SBI_CONSOLE,n) 25$(call force,CFG_16550_UART,y) 26$(call force,CFG_RISCV_TIME_SOURCE_RDTIME,y) 27CFG_RISCV_MTIME_RATE ?= 10000000 28 29# TA-related flags 30supported-ta-targets = ta_rv64 31 32# Memory layout flags 33CFG_TDDRAM_START ?= 0x8e000000 34CFG_TDDRAM_SIZE ?= 0x00f00000 35$(call force,CFG_CORE_RESERVED_SHM,y) 36CFG_SHMEM_START ?= 0x88f00000 37CFG_SHMEM_SIZE ?= 0x00200000 38CFG_TEE_RAM_VA_SIZE ?= 0x00200000 39