diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml index 5d8a8121..9c9a76ab 100644 --- a/seL4-platforms/platforms.yml +++ b/seL4-platforms/platforms.yml @@ -67,6 +67,14 @@ platforms: req: [hifive] # , hifive1] march: rv64imac + POLARFIRE: + arch: riscv + modes: [64] + smp: [64] + platform: polarfire + march: rv64imac + no_hw_test: true + SABRE: arch: arm modes: [32]