#
# Specifics for the seL4 kernel API x86 32 bit
#

SPECS += sel4 x86_32

include $(call select_from_repositories,mk/spec-x86_32.mk)
include $(call select_from_repositories,mk/spec-sel4.mk)