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