PKGDIR		?= ../..
L4DIR		?= $(PKGDIR)/../..

TARGET		= bootmod
MODE		= l4env_freebsd
DEFAULT_RELOC	= 0x01000000
SYSTEMS		= x86-l4v2 x86-l4x0

SRC_C		= main.c
SERVERIDL	= bootmod.idl
LIBS		= -loskit_startup -loskit_fsnamespace -loskit_memfs_nocopy -ldm_generic-server

include $(L4DIR)/mk/prog.mk
