From 06fd884ef46b68c13cf054d41b48dfb2356d39fc 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:13:44 +0200
Subject: [PATCH] hello_mxtask: Missed plugin for pipe.

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

diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index 9658730607..d57c07461f 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -10,7 +10,7 @@ lappend build_components "lib/gdbserver_platform-$::env(KERNEL)"
 build $build_components
 
 create_boot_directory
-
+import_from_depot [depot_user]/src/vfs_pipe
 
 set config {
     <config>
@@ -49,8 +49,13 @@ append config {
             </route>
             <config>
                 <target name="hello_mxtask"/>
-                <vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
-                <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+                <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>
         </start>
         <start name="pc_uart_drv">