genode/os/lib/mk/dde_kit.mk
2011-12-22 16:19:25 +01:00

7 lines
231 B
Makefile

SRC_C = lock.cc semaphore.cc panic.cc printf.cc interrupt.cc pgtab.cc \
memory.cc thread.cc pci_tree.cc pci.cc resources.cc timer.cc \
dde_kit.cc
LIBS = thread alarm
vpath % $(REP_DIR)/src/lib/dde_kit