denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

hello_mxtask: Missed plugin for pipe.

Browse Source
This commit is contained in:
Michael Müller
2022-07-21 13:13:44 +02:00
parent 2b66139f49
commit 06fd884ef4
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
repos/mml/run/hello_mxtask.run
View File

@@ -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">