mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 23:12:24 +00:00
9713014130
To support device-less protocol-stacks only ports, we can use a Virt I/O Linux kernel flavor, and export the lx_kit/lx_emul parts not depending on platform API and devices. Ref #4397
31 lines
965 B
PHP
31 lines
965 B
PHP
CUSTOM_TARGET_DEPS := kernel_build.phony
|
|
|
|
LX_DIR := $(call select_from_ports,linux)/src/linux
|
|
PWD := $(shell pwd)
|
|
|
|
LX_MK_ARGS = ARCH=$(LINUX_ARCH) CROSS_COMPILE=$(CROSS_DEV_PREFIX)
|
|
|
|
#
|
|
# Linux kernel configuration
|
|
#
|
|
|
|
# define 'LX_ENABLE' and 'LX_DISABLE'
|
|
include $(REP_DIR)/src/virt_linux/target.inc
|
|
|
|
# filter for make output of kernel build system
|
|
BUILD_OUTPUT_FILTER = 2>&1 | sed "s/^/ [Linux] /"
|
|
|
|
kernel_config.tag:
|
|
$(MSG_CONFIG)Linux
|
|
$(VERBOSE)$(MAKE) -C $(LX_DIR) O=$(PWD) $(LX_MK_ARGS) tinyconfig $(BUILD_OUTPUT_FILTER)
|
|
$(VERBOSE)$(LX_DIR)/scripts/config $(addprefix --enable ,$(LX_ENABLE))
|
|
$(VERBOSE)$(LX_DIR)/scripts/config $(addprefix --disable ,$(LX_DISABLE))
|
|
$(VERBOSE)$(MAKE) $(LX_MK_ARGS) olddefconfig $(BUILD_OUTPUT_FILTER)
|
|
$(VERBOSE)$(MAKE) $(LX_MK_ARGS) prepare $(BUILD_OUTPUT_FILTER)
|
|
$(VERBOSE)touch $@
|
|
|
|
# update Linux kernel config on makefile changes
|
|
kernel_config.tag: $(MAKEFILE_LIST)
|
|
|
|
kernel_build.phony: kernel_config.tag
|