mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 02:28:54 +00:00
8 lines
135 B
Makefile
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)
|