From a921845e36b81133bc167db54736f058c732c00f 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:17:35 +0200
Subject: [PATCH] hello_mxtask: Added vfs for gdb_monitor.

---
 repos/mml/run/hello_mxtask.run | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index d57c07461f..4b379ca590 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -49,12 +49,22 @@ append config {
             </route>
             <config>
                 <target name="hello_mxtask"/>
+                <config>
+                    <vfs> <dir name="dev"> 
+                        <log/> 
+                        <inline name="rtc">2022-07-20 14:30</inline> 
+					    <terminal raw="yes"/>
+                     </dir> 
+				    <dir name="pipe"> <pipe/> </dir> </vfs>
+                    <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="pipe"/>
+                </config>
+                </target>
                 <vfs> <dir name="dev"> 
                     <log/> 
                     <inline name="rtc">2022-07-20 14:30</inline> 
-					<terminal raw="yes"/>
-                </dir> 
-				<dir name="pipe"> <pipe/> </dir> </vfs>
+                    <terminal raw="yes"/>
+                    </dir> 
+                <dir name="pipe"> <pipe/> </dir> </vfs>
                 <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="pipe"/>
             </config>
         </start>