diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml index 741f3527..96902fd5 100644 --- a/seL4-platforms/platforms.yml +++ b/seL4-platforms/platforms.yml @@ -148,7 +148,6 @@ platforms: platform: imx8mm-evk req: [imx8mm] march: armv8a - no_hw_test: true # temporarily disabled for CI for benchmarking TQMA8XQP1GB: arch: arm