mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
8 lines
215 B
Makefile
8 lines
215 B
Makefile
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)
|