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 - glaub...@debian.org
`. `'   Freie Universitaet Berlin - glaub...@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913

Reply via email to