[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#998668: anna: Make it possible to install with a mismatched kernel



Hello Holger!

On 11/6/21 21:13, Holger Wansing wrote:
> Hmm, isn't that exactly the situation, we had before the above mentioned change?
> 
> There were reasons, why this change was made:
> it was mentioned, that proceeding without kernel modules in the correct
> version isn't possible at all. (That was #749991, #367515.)
> 
> Was that statement incorrect?

Well, the claim that you cannot continue without kernel modules is wrong.

As Vagrant explained, when you build a custom kernel to boot the machine, you don't
care about the kernel package or the module packages that are part of Debian as the
custom kernel already gets the machine up and running and provides device drivers,
filesystems and so on.

The installer can just install the system normally and install the distribution kernel,
ignoring that the running kernel is actually a different one. Once the system has been
installed, the user can just boot the installed system with the custom kernel.

There is no need to make this particular check a hard fail.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz@debian.org
`. `'   Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913


Reply to: