wagstaff description: Portable Computer product: MM061 vendor: Dell Inc. serial: B5QYCB1 width: 32 bits capabilities: smbios-2.4 dmi-2.4 configuration: boot=normal chassis=portable uuid=44454C4C-3500-1051-8059-C2C04F434231 *-core description: Motherboard product: 0YD612 vendor: Dell Inc. physical id: 0 serial: .B5QYCB1.CN4864368E0918. *-firmware description: BIOS vendor: Dell Inc. physical id: 0 version: A17 (06/13/2007) size: 64KiB capacity: 512KiB capabilities: isa pci pcmcia pnp upgrade shadowing cdboot bootselect int13floppy720 int5printscreen int9keyboard int14serial int17printer int10video acpi usb agp smartbattery biosbootspecification netboot *-cpu description: CPU product: Genuine Intel(R) CPU T2500 @ 2.00GHz vendor: Intel Corp. physical id: 400 bus info: cpu@0 version: 6.14.8 serial: 0000-06E8-0000-0000-0000-0000 slot: Microprocessor size: 1GHz capacity: 2GHz width: 32 bits clock: 166MHz capabilities: fpu fpu_exception wp vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe nx constant_tsc arch_perfmon bts pni monitor vmx est tm2 xtpr cpufreq configuration: id=1 *-cache:0 description: L1 cache physical id: 700 size: 32KiB capacity: 32KiB capabilities: internal write-back data *-cache:1 description: L2 cache physical id: 701 size: 2MiB capacity: 2MiB clock: 66MHz (15.0ns) capabilities: pipeline-burst internal varies unified *-logicalcpu:0 description: Logical CPU physical id: 1.1 width: 32 bits capabilities: logical *-logicalcpu:1 description: Logical CPU physical id: 1.2 width: 32 bits capabilities: logical *-memory description: System Memory physical id: 1000 slot: System board or motherboard size: 2GiB *-bank:0 description: DIMM DDR Synchronous 533 MHz (1.9 ns) product: HYMP512S64BP8-C4 vendor: AD00000000000000 physical id: 0 serial: 04008125 slot: DIMM_B size: 1GiB width: 64 bits clock: 533MHz (1.9ns) *-bank:1 description: DIMM DDR Synchronous 533 MHz (1.9 ns) product: HYMP512S64BP8-C4 vendor: AD00000000000000 physical id: 1 serial: 00007128 slot: DIMM_A size: 1GiB width: 64 bits clock: 533MHz (1.9ns) *-pci description: Host bridge product: Mobile 945GM/PM/GMS, 943/940GML and 945GT Express Memory Controller Hub vendor: Intel Corporation physical id: 100 bus info: pci@0000:00:00.0 version: 03 width: 32 bits clock: 33MHz *-pci:0 description: PCI bridge product: Mobile 945GM/PM/GMS, 943/940GML and 945GT Express PCI Express Root Port vendor: Intel Corporation physical id: 1 bus info: pci@0000:00:01.0 version: 03 width: 32 bits clock: 33MHz capabilities: pci pm msi pciexpress normal_decode bus_master cap_list configuration: driver=pcieport-driver *-display description: VGA compatible controller product: G72M [Quadro NVS 110M/GeForce Go 7300] vendor: nVidia Corporation physical id: 0 bus info: pci@0000:01:00.0 version: a1 width: 64 bits clock: 33MHz capabilities: pm msi pciexpress vga_controller bus_master cap_list configuration: driver=nvidia latency=0 module=nvidia *-multimedia description: Audio device product: 82801G (ICH7 Family) High Definition Audio Controller vendor: Intel Corporation physical id: 1b bus info: pci@0000:00:1b.0 version: 01 width: 64 bits clock: 33MHz capabilities: pm msi pciexpress bus_master cap_list configuration: driver=HDA Intel latency=0 module=snd_hda_intel *-pci:1 description: PCI bridge product: 82801G (ICH7 Family) PCI Express Port 1 vendor: Intel Corporation physical id: 1c bus info: pci@0000:00:1c.0 version: 01 width: 32 bits clock: 33MHz capabilities: pci pciexpress msi pm normal_decode bus_master cap_list configuration: driver=pcieport-driver *-network description: Wireless interface product: PRO/Wireless 3945ABG Network Connection vendor: Intel Corporation physical id: 0 bus info: pci@0000:0b:00.0 logical name: wmaster0 version: 02 serial: 00:18:de:11:eb:e4 width: 32 bits clock: 33MHz capabilities: pm msi pciexpress bus_master cap_list logical ethernet physical wireless configuration: broadcast=yes driver=iwl3945 ip=10.0.1.8 latency=0 module=iwl3945 multicast=yes wireless=IEEE 802.11g *-pci:2 description: PCI bridge product: 82801G (ICH7 Family) PCI Express Port 4 vendor: Intel Corporation physical id: 1c.3 bus info: pci@0000:00:1c.3 version: 01 width: 32 bits clock: 33MHz capabilities: pci pciexpress msi pm normal_decode bus_master cap_list configuration: driver=pcieport-driver *-usb:0 description: USB Controller product: 82801G (ICH7 Family) USB UHCI Controller #1 vendor: Intel Corporation physical id: 1d bus info: pci@0000:00:1d.0 version: 01 width: 32 bits clock: 33MHz capabilities: uhci bus_master configuration: driver=uhci_hcd latency=0 module=uhci_hcd *-usb:1 description: USB Controller product: 82801G (ICH7 Family) USB UHCI Controller #2 vendor: Intel Corporation physical id: 1d.1 bus info: pci@0000:00:1d.1 version: 01 width: 32 bits clock: 33MHz capabilities: uhci bus_master configuration: driver=uhci_hcd latency=0 module=uhci_hcd *-usb:2 description: USB Controller product: 82801G (ICH7 Family) USB UHCI Controller #3 vendor: Intel Corporation physical id: 1d.2 bus info: pci@0000:00:1d.2 version: 01 width: 32 bits clock: 33MHz capabilities: uhci bus_master configuration: driver=uhci_hcd latency=0 module=uhci_hcd *-usb:3 description: USB Controller product: 82801G (ICH7 Family) USB UHCI Controller #4 vendor: Intel Corporation physical id: 1d.3 bus info: pci@0000:00:1d.3 version: 01 width: 32 bits clock: 33MHz capabilities: uhci bus_master configuration: driver=uhci_hcd latency=0 module=uhci_hcd *-usb:4 description: USB Controller product: 82801G (ICH7 Family) USB2 EHCI Controller vendor: Intel Corporation physical id: 1d.7 bus info: pci@0000:00:1d.7 version: 01 width: 32 bits clock: 33MHz capabilities: pm debug ehci bus_master cap_list configuration: driver=ehci_hcd latency=0 module=ehci_hcd *-pci:3 description: PCI bridge product: 82801 Mobile PCI Bridge vendor: Intel Corporation physical id: 1e bus info: pci@0000:00:1e.0 version: e1 width: 32 bits clock: 33MHz capabilities: pci subtractive_decode bus_master cap_list *-network description: Ethernet interface product: BCM4401-B0 100Base-TX vendor: Broadcom Corporation physical id: 0 bus info: pci@0000:03:00.0 logical name: eth0 version: 02 serial: 00:15:c5:b1:34:32 size: 10MB/s capacity: 100MB/s width: 32 bits clock: 33MHz capabilities: pm bus_master cap_list ethernet physical mii 10bt 10bt-fd 100bt 100bt-fd autonegotiation configuration: autonegotiation=on broadcast=yes driver=b44 driverversion=2.0 duplex=half latency=64 link=no module=ssb multicast=yes port=twisted pair speed=10MB/s *-firewire description: FireWire (IEEE 1394) product: R5C832 IEEE 1394 Controller vendor: Ricoh Co Ltd physical id: 1 bus info: pci@0000:03:01.0 version: 00 width: 32 bits clock: 33MHz capabilities: pm ohci bus_master cap_list configuration: driver=ohci1394 latency=64 maxlatency=4 mingnt=2 module=ohci1394 *-system:0 description: SD Host controller product: R5C822 SD/SDIO/MMC/MS/MSPro Host Adapter vendor: Ricoh Co Ltd physical id: 1.1 bus info: pci@0000:03:01.1 version: 19 width: 32 bits clock: 33MHz capabilities: pm bus_master cap_list configuration: driver=sdhci latency=64 module=sdhci *-system:1 description: System peripheral product: R5C843 MMC Host Controller vendor: Ricoh Co Ltd physical id: 1.2 bus info: pci@0000:03:01.2 version: 01 width: 32 bits clock: 33MHz capabilities: pm cap_list configuration: driver=ricoh-mmc latency=0 module=ricoh_mmc *-system:2 UNCLAIMED description: System peripheral product: R5C592 Memory Stick Bus Host Adapter vendor: Ricoh Co Ltd physical id: 1.3 bus info: pci@0000:03:01.3 version: 0a width: 32 bits clock: 33MHz capabilities: pm cap_list configuration: latency=0 *-system:3 UNCLAIMED description: System peripheral product: xD-Picture Card Controller vendor: Ricoh Co Ltd physical id: 1.4 bus info: pci@0000:03:01.4 version: 05 width: 32 bits clock: 33MHz capabilities: pm cap_list configuration: latency=0 *-isa description: ISA bridge product: 82801GBM (ICH7-M) LPC Interface Bridge vendor: Intel Corporation physical id: 1f bus info: pci@0000:00:1f.0 version: 01 width: 32 bits clock: 33MHz capabilities: isa bus_master cap_list configuration: latency=0 *-ide description: IDE interface product: 82801GBM/GHM (ICH7 Family) SATA IDE Controller vendor: Intel Corporation physical id: 1f.2 bus info: pci@0000:00:1f.2 logical name: scsi0 logical name: scsi1 version: 01 width: 32 bits clock: 66MHz capabilities: ide pm bus_master cap_list emulated configuration: driver=ata_piix latency=0 module=ata_piix *-disk description: ATA Disk product: ST910021AS vendor: Seagate physical id: 0 bus info: scsi@0:0.0.0 logical name: /dev/sda version: 8.02 serial: 3MH0E6PQ size: 91GiB (98GB) capabilities: partitioned partitioned:dos configuration: ansiversion=5 signature=41ab2316 *-volume:0 description: Windows FAT volume vendor: Dell 8.0 physical id: 1 bus info: scsi@0:0.0.0,1 logical name: /dev/sda1 logical name: /media/sda1 version: FAT16 serial: 07d6-0714 size: 47MiB capacity: 47MiB capabilities: primary fat initialized configuration: FATs=2 filesystem=fat label=DellUtility mount.fstype=vfat mount.options=rw,relatime,gid=46,fmask=0007,dmask=0007,codepage=cp437,iocharset=iso8859-1,utf8 state=mounted *-volume:1 description: EXT3 volume vendor: Linux physical id: 3 bus info: scsi@0:0.0.0,3 logical name: /dev/sda3 logical name: / logical name: /dev/.static/dev logical name: /var/chroot/ocaml-3.10/opt/home logical name: /var/chroot/ocaml-3.10/tmp version: 1.0 serial: 72c4daf2-8292-4371-bc14-8ffd526d1168 size: 22GiB capacity: 22GiB capabilities: primary bootable journaled extended_attributes large_files huge_files recover ext3 ext2 initialized configuration: filesystem=ext3 modified=2008-08-18 00:15:38 mount.fstype=ext3 mount.options=rw,relatime,errors=remount-ro,data=ordered mounted=2008-08-18 00:15:38 state=mounted *-volume:2 description: Extended partition physical id: 4 bus info: scsi@0:0.0.0,4 logical name: /dev/sda4 size: 69GiB capacity: 69GiB capabilities: primary extended partitioned partitioned:extended *-logicalvolume:0 description: Linux swap / Solaris partition physical id: 5 logical name: /dev/sda5 capacity: 2047MiB capabilities: nofs *-logicalvolume:1 description: W95 FAT32 partition physical id: 6 logical name: /dev/sda6 logical name: /media/sda6 logical name: /var/chroot/ocaml-3.10/media/sda6 capacity: 67GiB configuration: mount.fstype=vfat mount.options=rw,relatime,uid=1000,gid=1000,fmask=0007,dmask=0007,codepage=cp437,iocharset=iso8859-1,utf8 state=mounted *-cdrom description: DVD writer product: DVD+-RW DW-Q58A vendor: SONY physical id: 1 bus info: scsi@1:0.0.0 logical name: /dev/cdrom logical name: /dev/dvd logical name: /dev/scd0 logical name: /dev/sr0 version: UDS2 capabilities: removable audio cd-r cd-rw dvd dvd-r configuration: ansiversion=5 status=open *-serial UNCLAIMED description: SMBus product: 82801G (ICH7 Family) SMBus Controller vendor: Intel Corporation physical id: 1f.3 bus info: pci@0000:00:1f.3 version: 01 width: 32 bits clock: 33MHz configuration: latency=0 *-battery product: DELLCR17476 vendor: Sanyo physical id: 1 slot: Sys. Battery Bay capacity: 78000mWh configuration: voltage=11.1V