From 17951c4eb8bf13e7861a7da9ad6af0c45f50c08f Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Tue, 22 Aug 2023 10:17:58 +1000
Subject: [PATCH] platforms: add Pine64 Star64

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 seL4-platforms/platforms.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 27b6f1e2..f6a7fe19 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -58,6 +58,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]