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