Home
last modified time | relevance | path

Searched full:cfg_scp_firmware (Results 1 – 4 of 4) sorted by relevance

/optee_os/core/lib/scmi-server/
H A Dconf.mk5 # CFG_SCP_FIRMWARE Directory path to SCP-firmware source tree
H A Dsub.mk10 scpfw-path = $(CFG_SCP_FIRMWARE)
/optee_os/.github/workflows/
H A Dci.yml231 …rmware ]; then _make PLATFORM=vexpress-qemu_armv8a CFG_SCMI_SCPFW=y CFG_SCP_FIRMWARE=$HOME/scp-fir…
232 … if [ -d $HOME/scp-firmware ]; then _make PLATFORM=stm32mp2 CFG_SCP_FIRMWARE=$HOME/scp-firmware; fi
233 …if [ -d $HOME/scp-firmware ]; then _make PLATFORM=stm32mp2-235F_DK CFG_SCP_FIRMWARE=$HOME/scp-firm…
234 …if [ -d $HOME/scp-firmware ]; then _make PLATFORM=stm32mp2-215F_DK CFG_SCP_FIRMWARE=$HOME/scp-firm…
235 …E/scp-firmware ]; then _make PLATFORM=vexpress-fvp CFG_SCMI_SCPFW=y CFG_SCP_FIRMWARE=$HOME/scp-fir…
236 …-firmware ]; then _make PLATFORM=stm32mp1-157C_DK2 CFG_SCMI_SCPFW=y CFG_SCP_FIRMWARE=$HOME/scp-fir…
/optee_os/mk/
H A Dconfig.mk842 # CFG_SCP_FIRMWARE.
850 ifeq (,$(wildcard $(CFG_SCP_FIRMWARE)/CMakeLists.txt))
851 $(error CFG_SCMI_SCPFW=y requires CFG_SCP_FIRMWARE configuration)