From cb88c2c3e2e2858414b14a41e73cb156218ddd29 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 3 Jun 2024 11:14:49 +0200
Subject: [PATCH] Fixup "nova: rename test/platform to test/nova" (platform.run
 -> nova.run)

---
 repos/base-nova/run/{platform.run => nova.run} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename repos/base-nova/run/{platform.run => nova.run} (89%)

diff --git a/repos/base-nova/run/platform.run b/repos/base-nova/run/nova.run
similarity index 89%
rename from repos/base-nova/run/platform.run
rename to repos/base-nova/run/nova.run
index bbe300adf6..a304f23f49 100644
--- a/repos/base-nova/run/platform.run
+++ b/repos/base-nova/run/nova.run
@@ -1,4 +1,4 @@
-build { core init lib/ld test/platform }
+build { core init lib/ld test/nova }
 
 set check_pat 1
 if {[have_include power_on/qemu]} {
@@ -24,7 +24,7 @@ set config {
 		<default-route>
 			<any-service> <parent/> </any-service>
 		</default-route>
-		<start name="test-platform" caps="12350" ld="no">
+		<start name="test-nova" caps="12350" ld="no">
 			<resource name="RAM" quantum="128M"/>}
 
 append config "