Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 885677

Summary: Genkernel not respecting DEFAULT_KERNEL_CONFIG
Product: Gentoo Hosted Projects Reporter: alex.aralis
Component: genkernelAssignee: Gentoo Genkernel Maintainers <genkernel>
Status: UNCONFIRMED ---    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description alex.aralis 2022-12-12 21:59:54 UTC
According to the documentation the DEFAULT_KERNEL_CONFIG option should set the default kernel config overriding /usr/share/genkernel/arch/<arch>/generated-config however after deleting my saved config in /etc/kernels/ and setting the default to /etc/kernels/base-config.conf genkernel was still using the generated-config file.

To be sure the generated-config wasn't based off of my supplied config I diffed them and they are extremely different kernel configs. forcing the config with --kernel-config does still work.

sys-kernel/genkernel-4.2.6-r8 (stable)

# from my /etc/genkernel.conf
DEFAULT_KERNEL_CONFIG="/etc/kernels/base-config.conf"