alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

server/log_tee: 17.05 upgrade, recipe

Browse Source 
Ref #74
This commit is contained in:
Emery Hemingway
2017-06-05 14:42:29 -05:00
committed by Norman Feske
parent 065f58af22
commit 834f98137f
4 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
recipes/src/log_tee/content.mk Normal file
View File

@@ -0,0 +1,2 @@
SRC_DIR = src/server/log_tee
include $(GENODE_DIR)/repos/base/recipes/src/content.inc

1
recipes/src/log_tee/hash Normal file
View File

@@ -0,0 +1 @@
2017-06-05 c8148c70c2cb95486560ccb46349c6811b491865

1
recipes/src/log_tee/used_apis Normal file
View File

@@ -0,0 +1 @@
base

13
run/log_tee.run
View File

@@ -1,14 +1,19 @@
build "core init server/log_tee test/log"
create_boot_directory
import_from_depot \
genodelabs/src/[base_src] \
genodelabs/src/init \
genodelabs/src/log_tee \
build "test/log"
install_config {
<config>
<default caps="128"/>
<parent-provides>
<service name="CPU"/>
<service name="LOG"/>
<service name="PD"/>
<service name="RAM"/>
<service name="RM"/>
<service name="ROM"/>
</parent-provides>
@@ -30,7 +35,7 @@ install_config {
</config>
}
build_boot_image "core ld.lib.so init log_tee test-log"
build_boot_image "test-log"
append qemu_args "-nographic "