From 71bda7db24fd0f06a4460b97b635eb85b26bae6f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 4 May 2023 16:14:29 +0200
Subject: [PATCH] Move cpu_quota.run from os to base-hw repository

This test works only on the base-hw kernel after all.
---
 repos/{os => base-hw}/run/cpu_quota.run | 26 ++-----------------------
 1 file changed, 2 insertions(+), 24 deletions(-)
 rename repos/{os => base-hw}/run/cpu_quota.run (96%)

diff --git a/repos/os/run/cpu_quota.run b/repos/base-hw/run/cpu_quota.run
similarity index 96%
rename from repos/os/run/cpu_quota.run
rename to repos/base-hw/run/cpu_quota.run
index bde783b15c..9bcadbf9af 100644
--- a/repos/os/run/cpu_quota.run
+++ b/repos/base-hw/run/cpu_quota.run
@@ -1,19 +1,4 @@
-#
-# Check platform
-#
-# HW is the only kernel that provides appliance of quota to the scheduling.
-#
-assert_spec hw
-
-#
-# Build
-#
-
-build "core init timer test/cpu_quota"
-
-#
-# Boot image
-#
+build { core init timer lib/ld test/cpu_quota }
 
 create_boot_directory
 
@@ -118,19 +103,12 @@ install_config {
 </config>
 }
 
-build_boot_image "core ld.lib.so init timer test-cpu_quota test-sync"
-
-#
-# Execution
-#
+build_boot_image [build_artifacts]
 
 append qemu_args "-nographic "
 
 run_genode_until ".*done.*\n.*done.*\n.*done.*\n" 110
 
-#
-# Conclusion
-#
 set err_cnt 0
 
 proc check_counter { name opt cnt total_cnt } {