ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/repos/base-sel4/mk/spec/sel4_x86_32.mk

5 lines
90 B
Makefile
Raw Permalink Blame History

# \deprecated
SPECS += x86_32
include $(call select_from_repositories,mk/spec/x86_32.mk)
Reference in New Issue View Git Blame Copy Permalink