On Mon, Sep 04, 2017 at 04:23:25PM +0200, Cyril Brulebois wrote: >Hi, > >Adding kernel maintainers and debian-cd to the loop. > >rpr // <rpr.nos...@gmail.com> (2017-09-04): >> Package: installation-reports >> Severity: important >> >> -- Package-specific info: >> >> Boot method: USB flash drive >> Image version: >> https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.1.0-amd64-netinst.iso >> (2017-07-22) >> Date: 2017-08-26 17:00 UTC >> >> Machine: HP ProLiant DL360 G4 with HP Smart Array 6i >> Partitions: <df -Tl will do; the raw partition table is preferred> >> >> >> Base System Installation Checklist: >> [O] = OK, [E] = Error (please elaborate below), [ ] = didn't try it >> >> Initial boot: [E] >> Detect network card: [O] >> Configure network: [O] >> Detect CD: [O] >> Load installer modules: [O] >> Clock/timezone setup: [O] >> User/password setup: [O] >> Detect hard drives: [O] >> Partition hard drives: [O] >> Install base system: [O] >> Install tasks: [O] >> Install boot loader: [O] >> Overall install: [O] >> >> Comments/Problems: >> Booting installer with default options locks up after >> Loading /install.amd/vmlinuz... ok >> Loading /install.amd/initrd.gz... ok >> >> Booting in expert mode gives an error about "NMI watchdog: BUG: soft >> lockup" - see the screenshot in the attachment. >> >> Booting and running installer was successful after adding acpi=off >> kernel parameter. > >Is that something to be fixed on the kernel side? Or some buggy UEFI >that would need a workaround maybe?
That's a good question. acpi=off is often a workaround for buggy firmware in my experience, but not typically something fixable externally. -- Steve McIntyre, Cambridge, UK. st...@einval.com "You can't barbecue lettuce!" -- Ellie Crane
