Dear all,

I am trying to install a debian stable on my new DELL Vostro 3750.
the d-i went perfectly fine. However when booting up debian, boots
stops at:

Waiting for /dev to be fully populated
[10.133655] ACPI I/O resource 0000:00:1f.3 [0xefa0-0xefbf] conflicts
with ACPI region SMBI [0xefa0-0xefaf]


All I could find was people complaining about this message in dmesg,
however in my case, booting simply stops. I cannot go any further.

Does anyone knows what I should try next to get passed this ?

Thanks
--
Mathieu


--
To UNSUBSCRIBE, email to debian-user-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: CA+7wUsxa-ZPpcv7W4co=qL0-ZEKTPyMWpagM56Ni26u0JEXJmg@mail.gmail.com">http://lists.debian.org/CA+7wUsxa-ZPpcv7W4co=qL0-ZEKTPyMWpagM56Ni26u0JEXJmg@mail.gmail.com