On Tue, Mar 12, 2013 at 7:04 AM, Patrick Georgi <gerrit at coreboot.org> wrote: > as in our case, a bug in the coreboot resource allocator that > leaves devices unallocated. What is the bar address? Do you have kernel boot log that complains that? Thanks Yinghai