krotuss Apprentice
Joined: 01 Aug 2008 Posts: 247
|
Posted: Thu Apr 30, 2020 8:55 pm Post subject: genkernel - generated-config |
|
|
Hi, when I run genkernel on my arm64 based rpi4 system I get this:
Code: | * Gentoo Linux Genkernel; Version 4.0.7
* Using genkernel configuration from '/etc/genkernel.conf' ...
* Running with options: --menuconfig all
* Working with Linux kernel 5.4.35-raspberrypi for arm64
* Using kernel config file '/usr/share/genkernel/arch/arm64/generated-config' ...
*
* Note: The version above is subject to change (depends on config and status of kernel sources).
* mount: >> Boot partition was temporarily mounted on '/boot' ...
* kernel: >> Initializing ...
* >> Previous config backed up to .config--2020-04-30--22-47-13.bak
* >> Running 'make mrproper' ... |
I wonder from where "Using kernel config file '/usr/share/genkernel/arch/arm64/generated-config'" does come from.
Only option remotely close to this that I was able to find in genkernel.conf is this:
Code: | # Default kernel config (only use to override using
# arch/%%ARCH%%/kernel-config-${VER}.${PAT} !)
DEFAULT_KERNEL_CONFIG="${GK_SHARE}/arch/%%ARCH%%/kernel-config" |
But it is not exactly the same. |
|