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

TARGET		= hello_oskit10_sigma0 \
		  pingreply multiboot phys_mem socket_com linux_fs_com
MODE		= oskit10_sigma0
DEFAULT_RELOC	= 0x00300000
SYSTEMS		= x86-l4v2 x86-l4x0

LIBCLIBS	= -nostdlib -loskit10_support -loskit_startup \
		  -loskit_clientos -loskit_bootp -loskit_linux_fs \
		  -loskit_diskpart -loskit_linux_dev -loskit_freebsd_net \
		  -loskit10_support -loskit_kern -loskit_lmm -loskit_amm \
		  -loskit_c -loskit_kern -lrmgr -ll4sys $(GCCLIB)

SRC_C_hello_oskit10_sigma0 = hello.c
SRC_C_pingreply	= pingreply.c bootp.c
SRC_C_multiboot	= multiboot.c
SRC_C_phys_mem	= phys_mem.c
SRC_C_socket_com = socket_com.c bootp.c
SRC_C_linux_fs_com = linux_fs_com.c

include $(L4DIR)/mk/prog.mk
