Processing commands for control@bugs.debian.org:

tags 1038313 + moreinfo

Bug #1038313 {Done: Salvatore Bonaccorso <carnil@debian.org>} [src:linux] acpi: error message on boot: acpi bios error, pci0, acpi not found, x509 and sgx error
Added tag(s) moreinfo.

thanks

Stopping processing here.

Please contact me if you need assistance.
--
1038313: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038313
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)