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

base-sel4: recipe for Wandboard platform

Browse Source 
* Allow depot_autopilot to be run on top of sel4/wand_quad too (Ref #3027)
This commit is contained in:
Stefan Kalkowski 2018-12-03 13:20:12 +01:00 committed by Norman Feske
parent 76966ed61a
commit 1d0e063f49
10 changed files with 60 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
repos/base-sel4/recipes/src/base-sel4/README → repos/base-sel4/recipes/src/base-sel4-wand_quad/README
View File

47
repos/base-sel4/recipes/src/base-sel4-wand_quad/content.mk Normal file
View File

@ -0,0 +1,47 @@
include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc
TIMER_SRC := main.cc target.inc epit include
content: enable_board_spec
enable_board_spec: etc/specs.conf
echo "SPECS += wand_quad" >> etc/specs.conf
content: src/drivers/timer
src/drivers/timer:
mkdir -p $@
cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@
content: include/spec/arm_v7/trace/timestamp.h include/os/attached_mmio.h
include/%.h:
mkdir -p $(dir $@)
cp $(GENODE_DIR)/repos/os/$@ $@
content: README
README:
cp $(REP_DIR)/recipes/src/base-sel4-wand_quad/README $@
content: lib/import etc include/sel4
lib/import etc include/sel4:
$(mirror_from_rep_dir)
content: src/tool/elfloader
src/kernel:
$(mirror_from_rep_dir)
KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/sel4)
src/kernel/sel4: src/kernel
cp -r $(KERNEL_PORT_DIR)/src/kernel/sel4/* $@
ELFLOADER_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/sel4_elfloader)
src/tool/elfloader: src/kernel/sel4
mkdir -p $@
cp -r $(ELFLOADER_PORT_DIR)/src/tool/elfloader/* $@
content:
mv lib/mk/spec/arm/ld-sel4.mk lib/mk/spec/arm/ld.mk;
sed -i "s/ld-sel4/ld/" src/lib/ld/sel4/target.mk
sed -i "s/wand_quad_timer_drv/timer/" src/drivers/timer/epit/wand_quad/target.mk

1
repos/base-sel4/recipes/src/base-sel4-wand_quad/hash Normal file
View File

@ -0,0 +1 @@
2018-12-03 232f0021c9b4ae7a68cd0d6f468afc3da914d028

0
repos/base-sel4/recipes/src/base-sel4/used_apis → repos/base-sel4/recipes/src/base-sel4-wand_quad/used_apis
View File

7
repos/base-sel4/recipes/src/base-sel4-x86/README Normal file
View File

@ -0,0 +1,7 @@
This archive contains the seL4-specific part of Genode.
It also contains the source code of the seL4 kernel in the
'src/kernel/sel4' directory.
Please note that seL4 has a license distinct from Genode. seL4's
license can be found at 'src/kernel/sel4/LICENSE_GPLv2.txt'.

2
repos/base-sel4/recipes/src/base-sel4/content.mk → repos/base-sel4/recipes/src/base-sel4-x86/content.mk
View File

@ -17,7 +17,7 @@ include/spec/%/trace/timestamp.h:
content: README
README:
cp $(REP_DIR)/recipes/src/base-sel4/README $@
cp $(REP_DIR)/recipes/src/base-sel4-x86/README $@
content: lib/import etc include/sel4
lib/import etc include/sel4:

1
repos/base-sel4/recipes/src/base-sel4-x86/hash Normal file
View File

@ -0,0 +1 @@
2018-12-03 4c549ca539d045300eb65ea716d00a752f436bb1

1
repos/base-sel4/recipes/src/base-sel4-x86/used_apis Normal file
View File

@ -0,0 +1 @@
base

1
repos/base-sel4/recipes/src/base-sel4/hash
View File

@ -1 +0,0 @@
2018-11-27 d6b7a57753b6bcd38bb4e39232497a4e5d455ee9

3
tool/run/boot_dir/sel4
View File

@ -147,7 +147,8 @@ proc run_boot_dir {binaries} {
#
proc base_src { } {
if {[have_spec x86]} { return base-sel4 }
if {[have_spec x86]} { return base-sel4-x86 }
if {[have_spec wand_quad]} { return base-sel4-wand_quad }
global specs