From aa183af6a45da63894267c27597a3586cf6d9bd7 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Tue, 13 Jun 2023 18:47:58 +0200
Subject: [PATCH] Added run script to produce dry-run output for VSCode.

---
 repos/mml/run/vscode.run | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 repos/mml/run/vscode.run

diff --git a/repos/mml/run/vscode.run b/repos/mml/run/vscode.run
new file mode 100644
index 0000000000..afe6b6293d
--- /dev/null
+++ b/repos/mml/run/vscode.run
@@ -0,0 +1,12 @@
+set build_components {
+    core init timer hoitaja app/blinktree app/hello_mxtask app/hpc_test app/yield_bench test/resource_yield app/grant_bench app/top server/cpu_balancer app/cpu_burner
+}
+
+source ${genode_dir}/repos/base/run/platform_drv.inc 
+append_platform_drv_build_components
+build $build_components
+
+create_boot_directory
+
+
+