PKGDIR		?= ../..
L4DIR		?= $(PKGDIR)/../..
SYSTEMS		:= x86-l4v2 x86-l4x0

TARGET		= rmgr
MODE		= sigma0

LIBCLIBS	= -nostdlib -lkern -lexec -lmc -llmm $(GCCLIB)
L4LIBS		= -ll4sys

PRIVATE_INCDIR	= $(PKGDIR)/server/src .

ifeq ($(L4API),l4x0)
  LINK_ADDR =   0x00180000
else
  LINK_ADDR =   0x00100000
endif

SRC_C		= startup.c rmgr.c oskit_support.c exec.c globals.c init.c \
		  memmap.c irq.c cfg-parse.c cfg-mem.c serial.c symbols.c \
		  lines.c
SRC_S		= crt0.S
OBJS		= trampoline.s.o
CRT0 		=
LDSCRIPT	= rmgr.ld
WARNINGS_cfg-parse.o = -Wno-unused -Wno-parentheses \
		       -Wno-missing-prototypes -Wno-missing-declarations

include $(L4DIR)/mk/prog.mk

cfg-parse.c: cfg-scan.c

$(TARGET): rmgr.ld

vpath rmgr.ld.in $(PKGDIR)/server/src

rmgr.ld: rmgr.ld.in
	$(VERBOSE)sed 's,@linkaddr@,$(LINK_ADDR),g' $< > $@;
