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 closing start tag.

Browse Source
This commit is contained in:
Michael Müller
2022-07-21 13:27:49 +02:00
parent 0191b42e51
commit d015297925
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -52,6 +52,7 @@ append config {
<config> <config>
<policy label_prefix="gdb_monitor" uart="1"/> <policy label_prefix="gdb_monitor" uart="1"/>
</config> </config>
</start>
<start name="drivers" caps="1500" managing_system="yes"> <start name="drivers" caps="1500" managing_system="yes">
<resource name="RAM" quantum="64M"/> <resource name="RAM" quantum="64M"/>
<binary name="init"/> <binary name="init"/>
@@ -63,7 +64,6 @@ append config {
<any-service> <parent/> </any-service> <any-service> <parent/> </any-service>
</route> </route>
</start> </start>
</start>
<start name="gdb_monitor"> <start name="gdb_monitor">
<resource name="RAM" quantum="8000M"/> <resource name="RAM" quantum="8000M"/>
<route> <route>