1PKGDIR ?= ../.. 2L4DIR ?= $(PKGDIR)/../../.. 3 4TARGET = moe 5DEFAULT_RELOC = 0x0140000 6RELOC_PHYS = y 7SRC_CC = main.cc page_alloc.cc dataspace.cc dataspace_cont.cc \ 8 dataspace_anon.cc globals.cc \ 9 alloc.cc boot_fs.cc dataspace_util.cc \ 10 region.cc debug.cc malloc.cc quota.cc \ 11 loader.cc loader_elf.cc \ 12 app_task.cc dataspace_noncont.cc pages.cc \ 13 name_space.cc mem.cc log.cc sched_proxy.cc \ 14 delete.cc vesa_fb.cc server_obj.cc \ 15 dma_space.cc 16SRC_S := ARCH-$(ARCH)/crt0.S 17MODE = sigma0 18 19REQUIRES_LIBS := libkproxy libloader l4re-util libsigma0 \ 20 cxx_io cxx_libc_io libc_be_minimal_log_io libsupc++_minimal 21EXTRA_LIBS := -ll4sys-direct 22DEFINES += -DL4_CXX_NO_EXCEPTION_BACKTRACE -DL4_MINIMAL_LIBC 23LDFLAGS += --entry=_real_start 24 25include $(L4DIR)/mk/prog.mk 26 27DEFINES_arm64-l4f += $(if $(CONFIG_KERNEL_CPU_VIRT),-DCONFIG_KERNEL_CPU_VIRT=1) 28