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

BUILDDIR       ?= ..

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

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

L4LIBDIR = .