lspci can't show the detailed pci device information, just pci device ID instead. and this issue found on all Haswell platforms, include SharkBay Mobile, SharkBay Desktop, and Haswell-ULT. Take SharkBay Desktop for example: Steps: root@localhost:~# lspci 00:00.0 Host bridge: Intel Corporation Device 0c00 (rev 02) 00:02.0 VGA compatible controller: Intel Corporation Device 0412 (rev 02) 00:03.0 Audio device: Intel Corporation Device 0c0c (rev 02) 00:14.0 USB controller: Intel Corporation Device 8c31 (rev 02) 00:16.0 Communication controller: Intel Corporation Device 8c3a (rev 02) 00:16.2 IDE interface: Intel Corporation Device 8c3c (rev 02) 00:16.3 Serial controller: Intel Corporation Device 8c3d (rev 02) 00:19.0 Ethernet controller: Intel Corporation Device 153a (rev 02) 00:1a.0 USB controller: Intel Corporation Device 8c2d (rev 02) 00:1b.0 Audio device: Intel Corporation Device 8c20 (rev 02) 00:1c.0 PCI bridge: Intel Corporation Device 8c10 (rev d2) 00:1c.4 PCI bridge: Intel Corporation Device 8c18 (rev d2) 00:1c.6 PCI bridge: Intel Corporation Device 8c1c (rev d2) 00:1d.0 USB controller: Intel Corporation Device 8c26 (rev 02) 00:1f.0 ISA bridge: Intel Corporation Device 8c4e (rev 02) 00:1f.2 SATA controller: Intel Corporation Device 8c02 (rev 02) 00:1f.3 SMBus: Intel Corporation Device 8c22 (rev 02)
1. configure --enable-kernel=standard --enable-rootfs=glibc-std-sato --enable-board=intel-xeon-core-haswell 2. make fs 3. on the board $lspci
