Provide pc specific lx_emul API

This commit contains:

* Minimal Linux kernel target: pc_linux
* Library to generate a Linux build directory, config, generated headers
* API depot package

The actual work was provided by Josef Soentgen.

Ref #4416

repos/pc/lib/import/import-pc_lx_emul.mk

@@ -0,0 +1,189 @@
+DDE_LINUX_DIR := $(subst /src/include/lx_kit,,$(call select_from_repositories,src/include/lx_kit))
+
+ifeq ($(filter-out $(SPECS),x86_32),)
+SPEC_ARCH := x86_32
+endif
+
+ifeq ($(filter-out $(SPECS),x86_64),)
+SPEC_ARCH := x86_64
+endif
+
+INC_DIR += $(PRG_DIR)/../..
+
+SRC_C += dummies.c lx_emul.c
+SRC_C += $(notdir $(wildcard $(PRG_DIR)/../../generated_dummies.c))
+
+#
+# Create symbol alias for jiffies, sharing the value of jiffies_64
+#
+LD_OPT += --defsym=jiffies=jiffies_64
+
+#
+# Lx_emul + Lx_kit definitions
+#
+
+SRC_CC  += lx_emul/alloc.cc
+SRC_CC  += lx_emul/clock.cc
+SRC_CC  += lx_emul/debug.cc
+SRC_CC  += lx_emul/init.cc
+SRC_CC  += lx_emul/pci_init.cc
+SRC_CC  += lx_emul/io_mem.cc
+SRC_CC  += lx_emul/irq.cc
+SRC_CC  += lx_emul/log.cc
+SRC_CC  += lx_emul/page_virt.cc
+SRC_CC  += lx_emul/task.cc
+SRC_CC  += lx_emul/time.cc
+SRC_CC  += lx_emul/pci_config_space.cc
+
+SRC_C   += lx_emul/clocksource.c
+SRC_C   += lx_emul/spec/x86/irqchip.c
+SRC_C   += lx_emul/start.c
+SRC_C   += lx_emul/spec/x86/start.c
+SRC_C   += lx_emul/shadow/fs/exec.c
+SRC_C   += lx_emul/shadow/kernel/cpu.c
+SRC_C   += lx_emul/shadow/kernel/dma/mapping.c
+SRC_C   += lx_emul/shadow/kernel/exit.c
+SRC_C   += lx_emul/shadow/kernel/fork.c
+SRC_C   += lx_emul/shadow/kernel/irq/spurious.c
+SRC_C   += lx_emul/shadow/kernel/pid.c
+SRC_C   += lx_emul/shadow/kernel/printk/printk.c
+SRC_C   += lx_emul/shadow/kernel/rcu/tree.c
+SRC_C   += lx_emul/shadow/kernel/sched/core.c
+SRC_C   += lx_emul/shadow/kernel/sched/sched.c
+SRC_C   += lx_emul/shadow/kernel/softirq.c
+SRC_C   += lx_emul/shadow/lib/devres.c
+SRC_C   += lx_emul/shadow/lib/smp_processor_id.c
+SRC_C   += lx_emul/shadow/mm/memblock.c
+SRC_C   += lx_emul/shadow/mm/percpu.c
+SRC_C   += lx_emul/shadow/mm/slab_common.c
+SRC_C   += lx_emul/shadow/mm/slub.c
+SRC_C   += lx_emul/virt_to_page.c
+
+SRC_CC  += lx_kit/console.cc
+SRC_CC  += lx_kit/device.cc
+SRC_CC  += lx_kit/env.cc
+SRC_CC  += lx_kit/init.cc
+SRC_CC  += lx_kit/memory.cc
+SRC_CC  += lx_kit/scheduler.cc
+SRC_CC  += lx_kit/task.cc
+SRC_CC  += lx_kit/timeout.cc
+SRC_S   += lx_kit/spec/$(SPEC_ARCH)/setjmp.S
+
+SRC_CC  += lx_kit/spec/x86/platform.cc
+INC_DIR += $(DDE_LINUX_DIR)/src/include/spec/x86/lx_kit
+
+# determine location of lx_emul / lx_kit headers by querying lx_emul/init.h
+_LX_EMUL_INIT_H       := $(call select_from_repositories,src/include/lx_emul/init.h)
+DDE_LINUX_SRC_INC_DIR := $(_LX_EMUL_INIT_H:/lx_emul/init.h=)
+
+SHADOW_INC_DIR      := $(addsuffix /lx_emul/shadow, $(DDE_LINUX_SRC_INC_DIR))
+X86_SHADOW_INC_DIR  := $(addsuffix /lx_emul/shadow, $(DDE_LINUX_SRC_INC_DIR)/spec/x86)
+SPEC_SHADOW_INC_DIR := $(addsuffix /lx_emul/shadow, $(DDE_LINUX_SRC_INC_DIR)/spec/$(SPEC_ARCH))
+
+INC_DIR += $(DDE_LINUX_SRC_INC_DIR)
+INC_DIR += $(DDE_LINUX_SRC_INC_DIR)/spec/x86
+INC_DIR += $(DDE_LINUX_SRC_INC_DIR)/spec/$(SPEC_ARCH)
+INC_DIR += $(SHADOW_INC_DIR)
+INC_DIR += $(X86_SHADOW_INC_DIR)
+INC_DIR += $(SPEC_SHADOW_INC_DIR)
+
+DDE_LINUX_SRC_LIB_DIR := $(DDE_LINUX_SRC_INC_DIR:/include=/lib)
+
+vpath % $(DDE_LINUX_SRC_LIB_DIR)
+
+
+#
+# Linux kernel definitions
+#
+
+LIBS += pc_linux_generated
+
+LX_SRC_DIR := $(call select_from_ports,linux)/src/linux
+ifeq ($(wildcard $(LX_SRC_DIR)),)
+LX_SRC_DIR := $(call select_from_repositories,src/linux)
+endif
+
+LX_GEN_DIR := $(LIB_CACHE_DIR)/pc_linux_generated
+
+INC_DIR += $(LX_SRC_DIR)/arch/x86/include
+INC_DIR += $(LX_GEN_DIR)/arch/x86/include/generated
+INC_DIR += $(LX_SRC_DIR)/include
+INC_DIR += $(LX_GEN_DIR)/include
+INC_DIR += $(LX_SRC_DIR)/arch/x86/include/uapi
+INC_DIR += $(LX_GEN_DIR)/arch/x86/include/generated/uapi
+INC_DIR += $(LX_SRC_DIR)/include/uapi
+INC_DIR += $(LX_GEN_DIR)/include/generated/uapi
+
+CC_C_OPT += -std=gnu89 -include $(LX_SRC_DIR)/include/linux/kconfig.h
+CC_C_OPT += -include $(LX_SRC_DIR)/include/linux/compiler_types.h
+CC_C_OPT += -D__KERNEL__ -DCONFIG_CC_HAS_K_CONSTRAINT=1
+CC_C_OPT += -DKASAN_SHADOW_SCALE_SHIFT=3
+CC_C_OPT += -Wall -Wundef -Werror=strict-prototypes -Wno-trigraphs
+CC_C_OPT += -Werror=implicit-function-declaration -Werror=implicit-int
+CC_C_OPT += -Wno-format-security -Wno-psabi
+CC_C_OPT += -Wno-frame-address -Wno-format-truncation -Wno-format-overflow
+CC_C_OPT += -Wframe-larger-than=2048 -Wno-unused-but-set-variable -Wimplicit-fallthrough
+CC_C_OPT += -Wno-unused-const-variable -Wdeclaration-after-statement -Wvla
+CC_C_OPT += -Wno-pointer-sign -Wno-stringop-truncation -Wno-array-bounds -Wno-stringop-overflow
+CC_C_OPT += -Wno-restrict -Wno-maybe-uninitialized -Werror=date-time
+CC_C_OPT += -Werror=incompatible-pointer-types -Werror=designated-init
+CC_C_OPT += -Wno-packed-not-aligned
+CC_C_OPT += -Wno-discarded-qualifiers
+CC_C_OPT += -Wno-format
+
+LX_SRC   = $(shell grep ".*\.c" $(PRG_DIR)/source.list)
+SRC_S   += $(shell grep ".*\.S" $(PRG_DIR)/source.list)
+SRC_C   += $(LX_SRC)
+SRC_S   += $(LX_ASM:$(LX_SRC_DIR)/%=%)
+
+vpath %.c $(LX_SRC_DIR)
+vpath %.S $(LX_SRC_DIR)
+vpath %.S $(LX_GEN_DIR)
+
+CUSTOM_TARGET_DEPS += $(PRG_DIR)/source.list
+
+# Define per-compilation-unit CC_OPT defines needed by MODULE* macros in Linux
+define CC_OPT_LX_RULES =
+CC_OPT_$(1) = -DKBUILD_MODFILE='"$(1)"' -DKBUILD_BASENAME='"$(notdir $(1))"' -DKBUILD_MODNAME='"$(notdir $(1))"'
+endef
+
+$(foreach file,$(LX_SRC),$(eval $(call CC_OPT_LX_RULES,$(file:%.c=%))))
+
+$(eval $(call CC_OPT_LX_RULES,generated_dummies))
+$(eval $(call CC_OPT_LX_RULES,dummies))
+
+
+# Handle specific source requirements
+CC_OPT_drivers/usb/host/xhci-trace += -I$(LX_SRC_DIR)/drivers/usb/host
+
+#
+# Generate crc32table.h header
+#
+
+crc32table.h: gen_crc32table
+	./gen_crc32table > $@
+
+lib/crc32.c: crc32table.h
+
+gen_crc32table: $(LX_SRC_DIR)/lib/gen_crc32table.c
+	$(HOST_CC) -I$(LX_GEN_DIR)/include $< -o $@
+
+
+#
+# Force rebuild whenever shadow headers appear or change
+#
+# Shadow headers are not handled well by the regular dependency-file mechanism
+# and ccache.
+#
+# As new appearing shadow headers (e.g., when switching branches) are not
+# covered by .d files, no rebuild is issued for existing object files that
+# actually depend on the just appeared header. Specifying all shadow headers
+# as global dependencies forces the rebuild of all potentially affected object
+# files in such a situation.
+#
+
+GLOBAL_DEPS += $(wildcard $(addsuffix /linux/*.h,$(SHADOW_INC_DIR))) \
+               $(wildcard $(addsuffix /asm/*.h,$(SHADOW_INC_DIR)))
+
+GLOBAL_DEPS += $(wildcard $(addsuffix /linux/*.h,$(SPEC_SHADOW_INC_DIR))) \
+               $(wildcard $(addsuffix /asm/*.h,$(SPEC_SHADOW_INC_DIR)))

repos/pc/lib/mk/pc_linux_generated.inc

@@ -0,0 +1,30 @@
+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/pc_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

repos/pc/lib/mk/pc_lx_emul.mk

@@ -0,0 +1 @@
+# the a64_lx_emul libray exists only for the import file

repos/pc/lib/mk/spec/x86_32/pc_linux_generated.mk

@@ -0,0 +1,3 @@
+LINUX_ARCH=x86
+
+include $(REP_DIR)/lib/mk/pc_linux_generated.inc

repos/pc/lib/mk/spec/x86_64/pc_linux_generated.mk

@@ -0,0 +1,3 @@
+LINUX_ARCH=x86_64
+
+include $(REP_DIR)/lib/mk/pc_linux_generated.inc