| # main project for fpga8168-rtos |
| ARCH := arm64 |
| ARM_CPU := cortex-a53 |
| TARGET := fpga8168-rtos |
| WITH_KERNEL_VM := 1 |
| WITH_LINKER_GC := 1 |
| |
| # buffer size used by fastboot to load images |
| SCRATCH_SIZE ?= 0x01000000 # 16MB |
| # the maximum dram size for TEE loaded from stroage |
| MAX_TEE_DRAM_SIZE ?= 0x01000000 # 16MB |
| # the maximum dram size for KERNEL loaded from stroage |
| MAX_KERNEL_SIZE ?= 0x01000000 # 16MB |
| |
| BOOTAPP := blxboot |
| ENABLE_BL33_LOAD := 1 |
| ENABLE_BUILTIN_BL33 := 1 |
| |
| # arch for lz4 compression lib |
| GLOBAL_DEFINES += \ |
| LZ4_ARCH64=1 \ |
| |
| LK_HEAP_IMPLEMENTATION=miniheap |