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

depot: recipe for src/noux

This commit is contained in:
Norman Feske 2017-09-06 19:14:16 +02:00 committed by Christian Helmuth
parent 9d3d7c4cb4
commit 1953a31031
5 changed files with 44 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/recipes/api/noux_session/content.mk Normal file
View File

@ -0,0 +1,2 @@
MIRRORED_FROM_REP_DIR := include/noux_session
include $(GENODE_DIR)/repos/os/recipes/api/session.inc

1
repos/ports/recipes/api/noux_session/hash Normal file
View File

@ -0,0 +1 @@
2017-09-06 205aac1cc1f66f0145e293fae9327d31e577a17b

28
repos/ports/recipes/src/noux/content.mk Normal file
View File

@ -0,0 +1,28 @@
MIRROR_FROM_REP_DIR := src/noux src/lib/libc_noux lib/mk/libc_noux.mk
content: $(MIRROR_FROM_REP_DIR)
$(MIRROR_FROM_REP_DIR):
$(mirror_from_rep_dir)
MIRROR_FROM_LIBPORTS := include/libc-plugin src/lib/libc/libc_mem_alloc.h
content: $(MIRROR_FROM_LIBPORTS)
$(MIRROR_FROM_LIBPORTS):
mkdir -p $(dir $@)
cp -r $(GENODE_DIR)/repos/libports/$@ $@
MIRROR_FROM_OS := include/init/child_policy.h
content: $(MIRROR_FROM_OS)
$(MIRROR_FROM_OS):
mkdir -p $(dir $@)
cp -r $(GENODE_DIR)/repos/os/$@ $@
content: LICENSE
LICENSE:
cp $(GENODE_DIR)/LICENSE $@

1
repos/ports/recipes/src/noux/hash Normal file
View File

@ -0,0 +1 @@
2017-09-06-k 96ce116b52f6a7f78ae0fc8273f92ed2572ec2a3

12
repos/ports/recipes/src/noux/used_apis Normal file
View File

@ -0,0 +1,12 @@
base
os
vfs
libc
noux
noux_session
block_session
file_system_session
rtc_session
terminal_session
timer_session
posix