nobase_include_HEADERS = \
	kernaux.h \
	kernaux/arch/i386.h \
	kernaux/arch/riscv64.h \
	kernaux/arch/x86_64.h \
	kernaux/asm/i386.h \
	kernaux/asm/riscv64.h \
	kernaux/asm/x86_64.h \
	kernaux/assert.h \
	kernaux/cmdline.h \
	kernaux/console.h \
	kernaux/elf.h \
	kernaux/framebuffer.h \
	kernaux/itoa.h \
	kernaux/libc.h \
	kernaux/mbr.h \
	kernaux/multiboot2.h \
	kernaux/pfa.h \
	kernaux/printf.h \
	kernaux/units.h