mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 14:37:50 +00:00
b765cef359
Instead of using the Wandboard Quad, the reference hardware from NXP i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default.
30 lines
1.2 KiB
Plaintext
30 lines
1.2 KiB
Plaintext
LICENSE := GPLv2
|
|
VERSION := git
|
|
DOWNLOADS := sel4.git
|
|
|
|
URL(sel4) := https://github.com/seL4/seL4.git
|
|
# master branch, version 9.0.1
|
|
REV(sel4) := 0dd40b6c43a290173ea7782b97afbbbddfa23b36
|
|
DIR(sel4) := src/kernel/sel4
|
|
|
|
$(call check_tool,python)
|
|
$(call check_python_module,future)
|
|
$(call check_python_module,tempita)
|
|
$(call check_python_module,ply)
|
|
$(call check_python_module,six)
|
|
|
|
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
|
|
|
|
HASH_INPUT += $(REP_DIR)/patches/imx6q_sabrelite.config
|
|
|
|
# adjust kernel config usable on qemu and on native hw, and add a 32bit version
|
|
default: $(DOWNLOADS)
|
|
$(VERBOSE)mkdir -p src/kernel/sel4/configs/pc99/x86_64
|
|
$(VERBOSE)mkdir -p src/kernel/sel4/configs/pc99/ia32
|
|
$(VERBOSE)cp src/kernel/sel4/configs/pc99/autoconf.h src/kernel/sel4/configs/pc99/x86_64/autoconf.h
|
|
$(VERBOSE)mv src/kernel/sel4/configs/pc99/autoconf.h src/kernel/sel4/configs/pc99/ia32/autoconf.h
|
|
$(VERBOSE)sed -i "s.^ \*/. \*/\n#ifndef ARCH_IA32\n#define ARCH_IA32\n#endif\n." src/kernel/sel4/configs/pc99/ia32/autoconf.h
|
|
$(VERBOSE)mkdir -p src/kernel/sel4/configs/imx6/imx6q_sabrelite
|
|
$(VERBOSE)mv src/kernel/sel4/configs/imx6/autoconf.h src/kernel/sel4/configs/imx6/imx6q_sabrelite/autoconf.h
|
|
$(VERBOSE)patch -p0 <$(REP_DIR)/patches/imx6q_sabrelite.config
|