diff options
-rw-r--r-- | .shippable.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.shippable.yml b/.shippable.yml index d2ad4747..7095d3f3 100644 --- a/.shippable.yml +++ b/.shippable.yml @@ -46,6 +46,7 @@ build: - _make PLATFORM=vexpress-qemu_armv8a CFG_ARM64_core=y - _make PLATFORM=vexpress-qemu_armv8a CFG_ARM64_core=y CFG_WITH_PAGER=y - _make PLATFORM=vexpress-qemu_armv8a CFG_ARM64_core=y CFG_TA_GPROF_SUPPORT=y CFG_ULIBS_GPROF=y + - _make PLATFORM=vexpress-qemu_armv8a CFG_ARM64_core=y CFG_VIRTUALIZATION=y - _make PLATFORM=stm-b2260 - _make PLATFORM=stm-cannes - _make PLATFORM=stm32mp1 |