| PRODUCT=juno |
| EXTRA_CONFIG_ARGS+=-DCMAKE_ASM_COMPILER=/arm/pdsw/downloads/scp-models/tools/gcc-arm-none-eabi-9-2020-q2-update/bin/arm-none-eabi-gcc |
| EXTRA_CONFIG_ARGS+=-DCMAKE_C_COMPILER=/arm/pdsw/downloads/scp-models/tools/gcc-arm-none-eabi-9-2020-q2-update/bin/arm-none-eabi-gcc |
| EXTRA_CONFIG_ARGS+=-DCMAKE_CXX_COMPILER=/arm/pdsw/downloads/scp-models/tools/gcc-arm-none-eabi-9-2020-q2-update/bin/arm-none-eabi-g++ |
| EXTRA_CONFIG_ARGS+=-DSCP_ENABLE_SCMI_NOTIFICATIONS=ON |
| EXTRA_CONFIG_ARGS+=-DSCP_ENABLE_SCMI_PERF_FAST_CHANNELS=yes |
| EXTRA_CONFIG_ARGS+=-DSCP_ENABLE_SCMI_RESET=ON |
| EXTRA_CONFIG_ARGS+=-DSCP_ENABLE_DEBUG_UNIT=OFF |
| EXTRA_CONFIG_ARGS+=-DSCP_ENABLE_RESOURCE_PERMISSIONS=OFF |
| EXTRA_CONFIG_ARGS+=-DSCP_LOG_LEVEL=CRIT |
| EXTRA_CONFIG_ARGS+=-DCMAKE_C_FLAGS_DEBUG=-Os |