nobase_include_HEADERS = \ kernaux.h \ kernaux/arch/i386.h \ kernaux/arch/x86_64.h \ kernaux/cmdline.h \ kernaux/console.h \ kernaux/multiboot2.h \ kernaux/pfa.h \ kernaux/printf.h \ kernaux/stdlib.h \ kernaux/units.h