From 5af3ffd6a8257a09ae439dcdc43088460fcb4a79 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 17 Nov 2023 17:10:55 +0100
Subject: [PATCH] hello_tutorial: use [build_artifacts] in hello.run

Issue #4860
---
 repos/hello_tutorial/run/hello.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/hello_tutorial/run/hello.run b/repos/hello_tutorial/run/hello.run
index f41fabc170..6804253a6f 100644
--- a/repos/hello_tutorial/run/hello.run
+++ b/repos/hello_tutorial/run/hello.run
@@ -2,7 +2,7 @@
 # Build
 #
 
-build { core init hello }
+build { core lib/ld init hello }
 
 create_boot_directory
 
@@ -35,7 +35,7 @@ install_config {
 # Boot image
 #
 
-build_boot_image { core ld.lib.so init hello_client hello_server }
+build_boot_image [build_artifacts]
 
 append qemu_args " -nographic "