| # For debug builds override the hardware memory config (4MiB -> 64MiB); |
| # this assumes debug builds run in simulation only or the target hardware |
| # has a large memory config. |
| CANTRIP_EXTRA_CMAKE_OPTS_DEBUG := -DKernelCustomDTSOverlay="${ROOTDIR}/build/platforms/nexus/overlay-debug.dts" |
| |
| # seL4 platform identity passed to cargo to bring in platform-specific deps |
| CONFIG_PLATFORM := CONFIG_PLAT_NEXUS |
| |
| # NB: seL4 platform identity is passed to cargo to bring in platform-specific deps |
| # NB: the kcargo shell function searchs for CONFIG_PLATFORM |
| CANTRIP_GLOBAL_FEATURES_RELEASE := ${CONFIG_PLATFORM} |
| CANTRIP_GLOBAL_FEATURES_DEBUG := ${CANTRIP_GLOBAL_FEATURES_RELEASE} |
| |
