mirror of
https://github.com/oliverschmidt/contiki.git
synced 2024-12-23 01:29:33 +00:00
4cdb7ba9b6
This patch extends the protection domain framework with an additional plugin to use Task-State Segment (TSS) structures to offload much of the work of switching protection domains to the CPU. This can save space compared to paging, since paging requires two 4KiB page tables and one 32-byte page table plus one whole-system TSS and an additional 32-byte data structure for each protection domain, whereas the approach implemented by this patch just requires a 128-byte data structure for each protection domain. Only a small number of protection domains will typically be used, so n * 128 < 8328 + (n * 32). For additional information, please refer to cpu/x86/mm/README.md. GCC 6 is introducing named address spaces for the FS and GS segments [1]. LLVM Clang also provides address spaces for the FS and GS segments [2]. This patch also adds support to the multi-segment X86 memory management subsystem for using these features instead of inline assembly blocks, which enables type checking to detect some address space mismatches. [1] https://gcc.gnu.org/onlinedocs/gcc/Named-Address-Spaces.html [2] http://llvm.org/releases/3.3/tools/clang/docs/LanguageExtensions.html#target-specific-extensions
89 lines
3.1 KiB
Makefile
89 lines
3.1 KiB
Makefile
# See mm/README.md for a description of available settings:
|
|
X86_CONF_PROT_DOMAINS ?= none
|
|
|
|
include $(CONTIKI)/cpu/x86/Makefile.x86_common
|
|
|
|
CONTIKI_CPU_DIRS += drivers/legacy_pc drivers/quarkX1000 init/legacy_pc net mm
|
|
|
|
CONTIKI_SOURCEFILES += bootstrap_quarkX1000.S rtc.c pit.c pic.c irq.c nmi.c pci.c uart-16x50.c uart.c gpio.c i2c.c eth.c shared-isr.c
|
|
CONTIKI_SOURCEFILES += imr.c msg-bus.c
|
|
CONTIKI_SOURCEFILES += stacks.c
|
|
|
|
ifneq ($(X86_CONF_PROT_DOMAINS),none)
|
|
CONTIKI_SOURCEFILES += prot-domains.c $(X86_CONF_PROT_DOMAINS)-prot-domains.c imr-conf.c
|
|
|
|
ifeq ($(X86_CONF_PROT_DOMAINS),paging)
|
|
LINKERSCRIPT_SFX = _paging
|
|
X86_CONF_SYSCALLS_INT = 1
|
|
ifeq ($(X86_CONF_USE_INVLPG),1)
|
|
CFLAGS += -DX86_CONF_USE_INVLPG
|
|
endif
|
|
# This matches the definition of X86_CONF_PROT_DOMAINS__PAGING in prot-domains.h:
|
|
CFLAGS += -DX86_CONF_PROT_DOMAINS=1
|
|
else ifeq ($(X86_CONF_PROT_DOMAINS),tss)
|
|
# This matches the definition of X86_CONF_PROT_DOMAINS__TSS in prot-domains.h:
|
|
CFLAGS += -DX86_CONF_PROT_DOMAINS=2
|
|
X86_CONF_MULTI_SEG = 1
|
|
CONTIKI_SOURCEFILES += tss-prot-domains-asm.S
|
|
else
|
|
$(error Unrecognized setting for X86_CONF_PROT_DOMAINS: \
|
|
$(X86_CONF_PROT_DOMAINS). See cpu/x86/mm/README.md for \
|
|
descriptions of available settings)
|
|
endif
|
|
|
|
ifeq ($(X86_CONF_SYSCALLS_INT),1)
|
|
CONTIKI_SOURCEFILES += syscalls-int-asm.S tss.c
|
|
endif
|
|
|
|
ifeq ($(X86_CONF_MULTI_SEG),1)
|
|
LINKERSCRIPT_SFX = _multi_seg
|
|
CONTIKI_SOURCEFILES += multi-segment.c
|
|
# Due to the way the multi-segment implementation of protection domains define
|
|
# tightly-bounded stack segments, the base pointer register cannot be used as
|
|
# a general-purpose register in all circumstances. The stack segment is used
|
|
# by default for a data access that uses the base pointer as the base register
|
|
# to compute the address. If the data referenced by the base pointer is not
|
|
# on the stack, then the access will fail. Thus, it is necessary to disable
|
|
# the omit-frame-pointer optimization. See mm/README.md for more details of
|
|
# how multi-segment protection domains are implemented.
|
|
CFLAGS += -fno-omit-frame-pointer
|
|
endif
|
|
|
|
endif
|
|
|
|
CFLAGS += -m32 -march=i586 -mtune=i586
|
|
LDFLAGS += -m32 -Xlinker -T -Xlinker $(CONTIKI)/cpu/x86/quarkX1000$(LINKERSCRIPT_SFX).ld
|
|
# The C compiler is used to invoke the assembler, so the CFLAGS should be
|
|
# passed to it on the command line:
|
|
ASFLAGS = -c $(CFLAGS)
|
|
|
|
ifeq ($(X86_CONF_RESTRICT_DMA),1)
|
|
CONTIKI_SOURCEFILES += imr-conf.c
|
|
CFLAGS += -DX86_CONF_RESTRICT_DMA
|
|
LDFLAGS += -Xlinker -T -Xlinker $(CONTIKI)/cpu/x86/quarkX1000_dma.ld
|
|
endif
|
|
|
|
### UEFI support
|
|
|
|
UEFI_DIR = $(CONTIKI_CPU)/uefi
|
|
|
|
ifndef EN_UEFI
|
|
# Include a Makefile generated by the build_uefi.sh script, if available.
|
|
# If that script was not run, then UEFI support will not be built.
|
|
-include $(UEFI_DIR)/Makefile.uefi
|
|
endif
|
|
|
|
ifeq ($(EN_UEFI),1)
|
|
EDK2_DIR = $(UEFI_DIR)/edk2
|
|
|
|
GEN_FW = $(EDK2_DIR)/BaseTools/Source/C/bin/GenFw
|
|
|
|
CONTIKI_CPU_DIRS += uefi
|
|
CONTIKI_SOURCEFILES += bootstrap_uefi.c
|
|
CFLAGS += -I$(EDK2_DIR)/MdePkg/Include -I$(EDK2_DIR)/MdePkg/Include/Ia32
|
|
else
|
|
$(info Note: UEFI support is disabled.)
|
|
$(info To enable UEFI support, run $(CONTIKI_CPU)/uefi/build_uefi.sh prior)
|
|
$(info to building Contiki.)
|
|
endif
|