| # seL4 maps platform rpi3 to bcm2837, but this can be either 32- or 64-bit |
| # and defaults to 32-bit; override by forcing aarch64 |
| CANTRIP_EXTRA_CMAKE_OPTS := -DAARCH64=1 |
| CANTRIP_EXTRA_CMAKE_OPTS_DEBUG := ${CANTRIP_EXTRA_CMAKE_OPTS} |
| CANTRIP_EXTRA_CMAKE_OPTS_RELEASE := ${CANTRIP_EXTRA_CMAKE_OPTS} |
| |
| # seL4 platform identity passed to cargo to bring in platform-specific deps |
| # NB: the kcargo shell function searchs for CONFIG_PLATFORM |
| CONFIG_PLATFORM := CONFIG_PLAT_BCM2837 |
| CANTRIP_GLOBAL_FEATURES_RELEASE := ${CONFIG_PLATFORM} |
| CANTRIP_GLOBAL_FEATURES_DEBUG := ${CANTRIP_GLOBAL_FEATURES_RELEASE} |
