device.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sat, 18 Apr 2009 16:09:23 +0300
changeset 94 db45445863c1
parent 51 56d2ea852a2d
child 735 5c437e2d5fe1
permissions -rw-r--r--
About HOL Light.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
51
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     1
-*- outline -*-
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     2
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
* Info about PCI.
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
  $ lspci
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
  $ lspci -vvv
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     7
  $ lsusb
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     8
  $ lsusb -vvv
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
  $ scanpci
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
  $ lshw
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
  $ lspcidrake
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    12
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    13
* String from BIOS.
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    14
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    15
  $ dd if=/dev/mem bs=64k skip=15 count=1 | strings
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    16
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    17
* Info about video.
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    18
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    19
  $ xdpyinfo
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    20
  $ glxinfo
56d2ea852a2d Hardware info.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    21
  $ xvinfo