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

Add sel4_x86_32 to create_builddir tool

Browse Source
This commit is contained in:
Norman Feske 2015-05-17 22:35:04 +02:00 committed by Christian Helmuth
parent 66dd065163
commit cada11b553
3 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base-sel4/mk/spec-sel4_x86_32.mk Normal file
View File

@ -0,0 +1,8 @@
#
# Specifics for the seL4 kernel API x86 32 bit
#
SPECS += sel4 x86_32
include $(call select_from_repositories,mk/spec-x86_32.mk)
include $(call select_from_repositories,mk/spec-sel4.mk)

7
tool/builddir/etc/build.conf.sel4_x86_32 Normal file
View File

@ -0,0 +1,7 @@
REPOSITORIES = $(GENODE_DIR)/repos/base-sel4
##
## Kernel-specific run tool configuration
##
RUN_OPT = --include boot_dir/sel4 \
--include power_on/qemu --include log/qemu --include image/iso

7
tool/create_builddir
View File

@ -45,6 +45,7 @@ usage:
@echo " 'foc_vea9x4'" @echo " 'foc_vea9x4'"
@echo " 'foc_panda'" @echo " 'foc_panda'"
@echo " 'foc_arndale'" @echo " 'foc_arndale'"
@echo " 'sel4_x86_32'"
@echo " 'lx_hybrid_x86'" @echo " 'lx_hybrid_x86'"
@echo @echo
@echo " The definition of BUILD_DIR is optional. If specified," @echo " The definition of BUILD_DIR is optional. If specified,"
@ -151,7 +152,7 @@ endif
# #
# Add x86 drivers repositories to x86 build directories # Add x86 drivers repositories to x86 build directories
# #
ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86 hw_x86_64,$(PLATFORM)),) ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86 hw_x86_64 sel4_x86_32,$(PLATFORM)),)
$(BUILD_DIR)/etc/build.conf:: $(BUILD_DIR)/etc/build.conf::
@cat $(BUILD_CONF).drivers_x86 >> $@ @cat $(BUILD_CONF).drivers_x86 >> $@
endif endif
@ -193,6 +194,10 @@ nova_x86_64::
@echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf @echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf
@echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf
sel4_x86_32::
@echo "SPECS = genode sel4_x86_32" > $(BUILD_DIR)/etc/specs.conf
@echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf
foc_pbxa9:: foc_pbxa9::
@echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf @echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf