nobase_include_HEADERS = l4/bits/types.h \ l4/bits/math.h l4/bits/vregs.h l4/bits/syscall.h \ l4/bits/stubs.h l4/bits/stubs-init.h \ l4/bits/kip.h l4/bits/space.h l4/bits/ipc.h \ l4/bits/misc.h