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

mxtasking: Made hello world example working again.

Browse Source
This commit is contained in:
Michael Mueller
2022-12-08 11:23:26 +01:00
parent fb91e40f0c
commit 32f42d693a
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -20,7 +20,9 @@ set config {
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="RM"/>
<service name="TOPO"/>
</parent-provides>
<affinity-space width="32" height="1"/>
<default-route>
<any-service><parent/><any-child/></any-service>
</default-route>
@@ -38,7 +40,8 @@ append_platform_drv_config
append config {
<start name="hello_mxtask">
<resource name="RAM" quantum="3G"/>
<resource name="RAM" quantum="16G"/>
<affinity xpos="0" ypos="0" width="16" height="1"/>
<config>
<vfs> <dir name="dev">
<log/>
@@ -60,6 +63,6 @@ set boot_modules {
append_platform_drv_boot_modules
build_boot_image $boot_modules
append qemu_args "-nographic -m 64"
append qemu_args "-nographic"
run_genode_until forever