Perhaps the memory range isn't specified as contiguous resources. > pcib2: device xl0 requested decoded memory range 0xde000000-0xdeffffff > xl0: Lazy allocation of 0x1 bytes rid 0x14 type 3 at 0xde000000 Output from devinfo -r after booting your kernel with xl0 would help. -Nate