> Changes required to the device allocator:
> - leave a hole for mmapped PCIe config space if
CONFIG_PCIE_CONFIGSPACE_HOLE
>   is set.
> - Mask moving bits to 32bit when resources are not supposed above 4G.
Linux
>   does not like this, even though the resource is disabled.
> 
> Signed-off-by: Stefan Reinauer <[EMAIL PROTECTED]>

Looks good.  would it be better to set the resource to 0 instead of to
moving bits?  Then there would not be a need for the special case.  It also
makes it easier to read the config space.

Acked-by: Myles Watson <[EMAIL PROTECTED]>

Thanks,
Myles


--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to