Debugging the linuxBIOS code

[Adam Sulmicki]

> >For what it is worth, if anyone needs MiniPCI Port-80 boards:
> >	http://www.pctestpro.com/post/pcipost.htm (all the way at bottom)
> >	http://www.costronic.com/Ev014mp.htm
> >	http://siliconkit.dnsalias.com/cart/tpcim.html

> Another option is to use a miniPCI to PCI adapter which you can plug
> your regular 3.3V PCI POST card into.
>
> http://www.interfacemasters.com/products/pci_tools/mini_pci_to_pci/index.html

yeah, with the $65'000 question being where do I find such 3.3V POST card.

-- 
Adam Sulmicki
http://www.eax.com 	The Supreme Headquarters of the 32 bit registers