Example Kconfig defconfig files — starting points for make -f Makefile.starkernel ARCH=<arch> defconfig (kernel) or the equivalent hosted target, matching the current committed default build behavior for each profile. Loaded via tools/kconfig/conf.

hosted_standard_defconfig — hosted VM, x86_64, standard optimized build profile.
kernel_amd64_defconfig — LithosAnanke kernel, amd64.
kernel_aarch64_defconfig — LithosAnanke kernel, aarch64.
kernel_riscv64_defconfig — LithosAnanke kernel, riscv64.

See mk/Kconfig.mk for the build-system bridge these feed into, and tools/kconfig/README.md for the vendored Kconfig tooling itself.