mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +00:00
e0ed7c3cd0
Makes old l4 library obsolete Issue #1280
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)
|