l4/pkg/l4re_kernel/server/src/Makefile

   1 PKGDIR ?= ../..
   2 L4DIR  ?= $(PKGDIR)/../..
   3
   4 TARGET          = l4re
   5 SRC_CC         := main.cc globals.cc page_alloc.cc region.cc loader.cc \
   6                   loader_elf.cc mem.cc dispatcher.cc
   7
   8 DEFAULT_RELOC_x86   := 0xb0000000
   9 DEFAULT_RELOC_arm   := 0xb0000000
  10 DEFAULT_RELOC_ppc32 := 0xb0000000
  11 DEFAULT_RELOC_amd64 := 0x70000000
  12
  13 MODE = sigma0
  14
  15 PRIVATE_INCDIR      += $(SRC_DIR)/ARCH-$(ARCH)
  16
  17 CXXFLAGS_amd64-l4f += -mcmodel=medium
  18 CFLAGS_amd64-l4f += -mcmodel=medium
  19 DEFINES += -DL4_CXX_NO_EXCEPTION_BACKTRACE
  20
  21 MMAP_BACKEND   :=
  22
  23 REQUIRES_LIBS  := libc_be_minimal_log_io cxx_io cxx_libc_io libc_minimal l4re \
  24                   l4re-util libsupc++_minimal libloader libc_minimal_l4re
  25
  26 include $(L4DIR)/mk/prog.mk
  27