diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml index 50fb362b..5569f84c 100644 --- a/seL4-platforms/platforms.yml +++ b/seL4-platforms/platforms.yml @@ -67,6 +67,14 @@ platforms: req: [hifive] # , hifive1] march: rv64imac + STAR64: + arch: riscv + modes: [64] + smp: [64] + platform: star64 + req: [star64] + march: rv64imac + SABRE: arch: arm modes: [32]