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: Start drivers service.

Browse Source
This commit is contained in:
Michael Müller
2022-07-21 13:24:10 +02:00
parent 4af23e023f
commit 68e4ef34d3
1 changed files with 25 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -10,7 +10,11 @@ lappend build_components "lib/gdbserver_platform-$::env(KERNEL)"
build $build_components
create_boot_directory
import_from_depot [depot_user]/src/vfs_pipe
import_from_depot [depot_user]/src/[base_src] \
[depot_user]/pkg/[drivers_interactive_pkg] \
[depot_user]/src/demo \
[depot_user]/src/init \
[depot_user]/src/vfs_pipe
set config {
<config>
@@ -41,6 +45,26 @@ set config {
append_platform_drv_config
append config {
<start name="pc_uart_drv">
<resource name="RAM" quantum="1M"/>
<provides>
<service name="Uart"/>
<service name="Terminal"/> </provides>
<config>
<policy label_prefix="gdb_monitor" uart="1"/>
</config>
<start name="drivers" caps="1500" managing_system="yes">
<resource name="RAM" quantum="64M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config"> <parent label="drivers.config"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="Capture"> <child name="gdb_monitor"/> </service>
<service name="Event"> <child name="gdb_monitor"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
</start>
<start name="gdb_monitor">
<resource name="RAM" quantum="8000M"/>
<route>
@@ -68,13 +92,6 @@ append config {
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="pipe"/>
</config>
</start>
<start name="pc_uart_drv">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Terminal"/> </provides>
<config>
<policy label_prefix="gdb_monitor" uart="1"/>
</config>
</start>
</config>
}