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

TARGET		= liboskit10_support.a
MODE		= oskit10_sigma0
SYSTEMS		= x86-l4v2 x86-l4x0

SRC_C		= irq.c sleep.c timer.c console.c base_multiboot_main.c \
		  base_cpu_init.c base_cpu_load.c base_idt_load.c sendsig.c \
		  base_multiboot_init_mem.c osenv_mem.c mem.c log.c sigma0.c \
		  extra.c

LIBOSKITDEV	= $(word 1, $(wildcard \
		    $(L4DIR)/../oskit10/lib/liboskit_dev.a \
		    $(DROPS_STDDIR)/lib/oskit10/liboskit_dev.a))

LIBOSKITDEV_NOT	= irq.o osenv_mem.o mem.o pic.o sleep.o synch.o timer.o \
		  timer_pit.o log.o
LIBOSKITDEV_OBJ	= $(filter-out $(LIBOSKITDEV_NOT), \
		     $(shell $(AR) t $(LIBOSKITDEV)))

OBJS		= $(LIBOSKITDEV_OBJ)

include $(L4DIR)/mk/lib.mk

ifeq ($(LIBOSKITDEV),)
$(warning The OSKit 1.0 library "liboskit_dev.a" was not found in)
$(warning   $(OSKIT10DIR)/lib)
$(warning   $(DROPS_STDLIBDIR))
$(error Please fix DROPS_STDDIR and/or OSKIT10DIR)
endif

$(LIBOSKITDEV_OBJ): $(LIBOSKITDEV)
	$(VERBOSE)$(AR) x $(LIBOSKITDEV) $@
