denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Disambiguate noux-system config

Browse Source
This commit is contained in:
Emery Hemingway
2019-02-21 11:06:30 +01:00
committed by Christian Helmuth
parent a85c47134b
commit d273129d9d
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/ports/recipes/pkg/noux-system/runtime
View File

@@ -1,4 +1,4 @@
<runtime ram="72M" caps="1000" binary="init" config="init.config">
<runtime ram="72M" caps="1000" binary="init" config="noux-system.config">
<requires>
<nitpicker/>
@@ -11,7 +11,7 @@
</requires>
<content>
<rom label="init.config"/>
<rom label="noux-system.config"/>
<rom label="ld.lib.so"/>
<rom label="libc.lib.so"/>
<rom label="libm.lib.so"/>

4
repos/ports/recipes/raw/noux-system/content.mk
View File

@@ -1,4 +1,4 @@
content: init.config
content: noux-system.config
init.config:
noux-system.config:
cp $(REP_DIR)/recipes/raw/noux-system/$@ $@

0
repos/ports/recipes/raw/noux-system/init.config → repos/ports/recipes/raw/noux-system/noux-system.config
View File