#
# 32-bit-specific Genode headers
#
REP_INC_DIR += include/spec/32bit