Hi Dotan,
On Wed, Dec 26, 2012 at 12:29:31PM +0200, Dotan Cohen wrote:
> On Wed, Dec 26, 2012 at 11:42 AM, Baruch Siach <bar...@tkos.co.il> wrote:
> > You'll need to access a running
> > machine to extract the PCI ID information, though, since Gigabyte's manual
> > is
> > not very helpful.
>
> Is that the chicken, or the egg?
>
> In other words, if I did have access to a running system, I would
> already know if it works or not!
This board surely runs Windows. You can extract the PCI ID from its "Device
Manager", or whatever it's called there.
Also, some BIOSes list PCI devices with IDs in the initial screen.
baruch
--
http://baruch.siach.name/blog/ ~. .~ Tk Open Systems
=}------------------------------------------------ooO--U--Ooo------------{=
- bar...@tkos.co.il - tel: +972.2.679.5364, http://www.tkos.co.il -
_______________________________________________
Linux-il mailing list
Linux-il@cs.huji.ac.il
http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
