SYSTEMS = x86-l4v2
ARCH = x86
SYSTEM = x86-l4v2

BUILDDIR       ?= ..

libmachdev_path := $(BUILDDIR)/libmachdev/libmachdev.a
libddekit_path := $(BUILDDIR)/libddekit/libddekit.a
libslab_path := -L$(BUILDDIR)/libhurd-slab -lhurd-slab
libbpf_path := -L$(BUILDDIR)/libbpf -lbpf

DDEKITLIBDIR = $(PKGDIR)/../libddekit/
DDEKITINCDIR = $(PKGDIR)/../libddekit/include
DDE26LIBDIR = $(PKGDIR)/lib/src
OBJ_BASE = $(PKGDIR)/build

L4LIBDIR = .