ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-02 09:18:18 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

debug_nitpicker.run: adapt to libc VFS changes

Browse Source
This commit is contained in:
Norman Feske 2014-07-21 15:29:50 +02:00
parent 6820de51ba
commit 0bef86223b
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/ports/run/debug_nitpicker.run
View File

@ -50,7 +50,7 @@ set config {
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<start name="timer">
<resource name="RAM" quantum="512K"/>
<resource name="RAM" quantum="1M"/>
<provides> <service name="Timer"/> </provides>
</start>
<start name="uart_drv">
@ -61,11 +61,14 @@ set config {
</config>
</start>
<start name="gdb_monitor">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="10M"/>
<provides><service name="Nitpicker"/></provides>
<config>
<target name="nitpicker"/>
<preserve name="RAM" quantum="2M"/>
<libc stdout="/dev/log" stderr="/dev/log">
<vfs> <dir name="dev"> <log/> </dir> </vfs>
</libc>
</config>
</start>
<start name="scout">
@ -103,7 +106,7 @@ install_config $config
# generic modules
set boot_modules {
core init timer
ld.lib.so libc.lib.so libc_log.lib.so libc_lock_pipe.lib.so libc_terminal.lib.so
ld.lib.so libc.lib.so libc_lock_pipe.lib.so libc_terminal.lib.so
uart_drv
gdb_monitor
nitpicker scout