internincludedir = ${includedir}/ggi/internal
interninclude_HEADERS =

noinst_HEADERS = debug_macros.h gic_debug.h gic.h