mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +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)
|