PISTACHIO_USER_SRC := $(call select_from_ports,pistachio)/src/kernel/pistachio/user/lib/l4
SRC_CC = debug.cc ia32.cc
SRC_S = ia32-syscall-stubs.S
vpath %.cc $(PISTACHIO_USER_SRC)
vpath %.S $(PISTACHIO_USER_SRC)