- Package:
- src:kexec-tools
- Source:
- src:kexec-tools
- Submitter:
- Frank
- Date:
- 2026-03-11 01:05:02 UTC
- Severity:
- normal
- Tags:
Source: kexec-tools Version: 1:2.0.29-2 Severity: normal Tags: d-i X-Debbugs-Cc: debian-amd64@lists.debian.org, debian-bugs@cbs.mpg.de, debian-boot@lists.debian.org User: debian-amd64@lists.debian.org Usertags: amd64 User: debian-boot@lists.debian.org Usertags: amd64 Dear Maintainer, The kexec binary in the kexec-tools-udeb udeb package depends on libxenctrl.so.4.20 which is not available in the Debian installer. The binary should be compiled without xen support for the udeb. Best regards, Frank
Do we need kexec-tools package for debian installer? I am not seeing the installer use kexec during installation. If installer does not use kexec, should we just not build kexec-toools-udeb? Thanks, Khalid
Do we need kexec-tools package for debian installer? I am not seeing the installer use kexec during installation. If installer does not use kexec, should we just not build kexec-toools-udeb? Thanks, Khalid
Hi, Am Tue, Mar 10, 2026 at 10:09:28AM -0600 schrieb Khalid Aziz: kexec is quite handy when installing servers during short maintenance windows. I'm using it in a late script to directly start the target system. Adding a simple command (I have a early script download a pre-compiled kexec) saves me up to 5 minutes per installation by skipping POST. Cheers, Frank
Hi, Am Tue, Mar 10, 2026 at 10:09:28AM -0600 schrieb Khalid Aziz: kexec is quite handy when installing servers during short maintenance windows. I'm using it in a late script to directly start the target system. Adding a simple command (I have a early script download a pre-compiled kexec) saves me up to 5 minutes per installation by skipping POST. Cheers, Frank
Good to know you have a use case. Dependency on libxen-dev was added to resolve <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023270>. I will look into what I can do for udeb. Thanks, Khalid
Good to know you have a use case. Dependency on libxen-dev was added to resolve <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023270>. I will look into what I can do for udeb. Thanks, Khalid