On Mon, Sep 04, 2017 at 08:13:39PM +0200, rpr // wrote:
>On 4 September 2017 at 16:50, Steve McIntyre wrote:
>>>
>>>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
>>
On 4 September 2017 at 16:50, Steve McIntyre wrote:
>>
>>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
On Mon, Sep 04, 2017 at 04:23:25PM +0200, Cyril Brulebois wrote:
>Hi,
>
>Adding kernel maintainers and debian-cd to the loop.
>
>rpr // (2017-09-04):
>> Package: installation-reports
>> Severity: important
>>
>> -- Package-specific info:
>>
>> Boot method: USB flash drive
>> Image version:
>> h
Hi,
Adding kernel maintainers and debian-cd to the loop.
rpr // (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-ne
4 matches
Mail list logo