Page 1 of 1

VirtualBox compiling wrong kernel

Posted: 29. Feb 2016, 17:34
by arlion
Good Afternoon,

The error is

Code: Select all

make KBUILD_VERBOSE=1 SUBDIRS=/tmp/vbox.0 SRCROOT=/tmp/vbox.0 CONFIG_MODULE_SIG= -C /lib/modules/[b]4.2.3-200.fc22.x86_64[/b]/build modules
test -e include/generated/autoconf.h -a -e include/config/auto.conf || (                \
echo >&2;                                                       \
echo >&2 "  ERROR: Kernel configuration is invalid.";           \
echo >&2 "         include/generated/autoconf.h or include/config/auto.conf are missing.";\
echo >&2 "         Run 'make oldconfig && make prepare' on kernel src to fix it.";      \
echo >&2 ;                                                      \
/bin/false)
At one point my Fedora 23 device did have 4.2.3 kernel installed, but no more.

Code: Select all

dnf list installed
kernel.x86_64                            4.3.3-300.fc23            @updates     
kernel.x86_64                            4.3.3-301.fc23            @updates     
kernel.x86_64                            4.3.4-300.fc23            @updates     
kernel.x86_64                            4.3.5-300.fc23            @updates     
kernel.x86_64                            4.4.2-301.fc23            @updates     

Code: Select all

ll /lib/modules                                                                 [10:24:27]
total 80K
drwxr-xr-x. 6 root root 4.0K Jan 21 08:10 4.3.3-300.fc23.x86_64
drwxr-xr-x. 6 root root 4.0K Jan 12 10:44 4.3.3-300.fc23.x86_64+debug
drwxr-xr-x. 6 root root 4.0K Jan 26 09:54 4.3.3-301.fc23.x86_64
drwxr-xr-x. 6 root root 4.0K Jan 21 08:10 4.3.3-301.fc23.x86_64+debug
drwxr-xr-x. 6 root root 4.0K Feb  1 09:30 4.3.4-300.fc23.x86_64
drwxr-xr-x. 6 root root 4.0K Feb  1 09:04 4.3.4-300.fc23.x86_64+debug
drwxr-xr-x. 6 root root 4.0K Feb 16 08:44 4.3.5-300.fc23.x86_64
drwxr-xr-x. 6 root root 4.0K Feb  8 08:02 4.3.5-300.fc23.x86_64+debug
drwxr-xr-x. 5 root root 4.0K Feb 29 08:27 4.4.2-301.fc23.x86_64
drwxr-xr-x. 6 root root 4.0K Feb 29 08:28 4.4.2-301.fc23.x86_64+debug
Currently running kernel, 4.4.2-301.fc23.x86_64+debug

Re: VirtualBox compiling wrong kernel

Posted: 1. Mar 2016, 15:19
by arlion
The solution was that I was accidentally running a debug kernel, and I don't have debug-devel kernel packages installed. I switched to the non-debug kernel and it installed beautifully.

uname -r

4.4.2-301.fc23.x86_64

vs

4.4.2-301.fc23.x86_64+debug