[coreboot] simple useful utility

ron minnich rminnich at gmail.com
Sat Oct 11 23:56:46 CEST 2008

On Sat, Oct 11, 2008 at 2:53 PM, Vincent Legoll
<vincent.legoll at gmail.com> wrote:

> and PCI IO address mask is 0x3FFF, right ?

I think so, unless it is 3fff<<3

Then we just need C code :-)


More information about the coreboot mailing list