genode/base-mb/mk/spec-mb_ml507.mk
2011-12-22 16:19:25 +01:00

8 lines
135 B
Makefile

SPECS += 32bit mb_timer
STARTUP_LIB ?= startup
PRG_LIBS += $(STARTUP_LIB)
include $(call select_from_repositories,mk/spec-32bit.mk)