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

BUILDDIR       ?= ..

libmachdev_path := -L$(BUILDDIR)/libmachdev -lmachdev
libddekit_path := -L$(BUILDDIR)/libddekit -lddekit
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 = .