ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sculpt.run: add kernel log message

Browse Source
This commit is contained in:
Alexander Boettcher 2018-01-18 13:05:44 +01:00 committed by Christian Helmuth
parent 37be984d34
commit 0d9efd04a8
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
repos/gems/run/sculpt.run
View File

@ -5,6 +5,10 @@ if {![have_spec x86] || [have_spec linux]} {
proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] }
if {[have_spec nova]} {
proc kernel_output { } { return "novga serial logmem" }
}
create_boot_directory
import_from_depot [depot_user]/src/[base_src] \
@ -192,6 +196,18 @@ install_config {
</route>
</start>
<start name="log_kernel">
<binary name="log_core"/>
<resource name="RAM" quantum="1M"/>
<config period_ms="2000"/>
<route>
<service name="ROM" label="log"> <parent label="kernel_log"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="LOG" label="log"> <child name="log" label="kernel"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="fs_report">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> </provides>