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