From 2b66139f49bec1d862e2cbd454e028833b1a8dfc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Thu, 21 Jul 2022 13:07:44 +0200
Subject: [PATCH] hello_mxtask: Missed function definition in runscript.

---
 repos/mml/run/hello_mxtask.run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index 4f4469638d..9658730607 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -66,6 +66,8 @@ append config {
 install_config $config
 
 proc binary_name_gdbserver_platform_lib_so { } {
+	return "gdbserver_platform-$::env(KERNEL).lib.so"
+}
 
 set boot_modules { 
 	pc_uart_drv