> Hello,
>
> I'm currently testing a Belinea s.Book1 microlaptop (
http://www.belinea.com/en/s_line/product_tagline.jsp?node=652&artnr=399501
> ) and I can't install OpenBSD on it. At first sight it seems that
> every core components are supported (Via VX700 + Via C7-M - you can
> check the PDF Datasheet at
http://assets.maxdata.com/?id=128745).
>
> I tried OpenBSD/4.2 and the latest snapshot (from
> ftp://ftp.openbsd.org/pub/OpenBSD/snapshots/i386/ and mirrors) and
> everytime I get the same result. The laptop loads "bsd.rd" and just
> reboot when printing "entry point at..." (before any "blue"
> writing). I tried with an USB CD drive and with PXE.
>
> Here is a Linux dmesg if it can help to see if a particular device
> could explain the crash :
> 4.1.1-21)) #1 Sun Feb 10 22:06:33 UTC 2008
> BIOS-provided physical RAM map:
> BIOS-e820: 0000000000000000 - 000000000009dc00 (usable)
> BIOS-e820: 000000000009dc00 - 00000000000a0000 (reserved)
> BIOS-e820: 00000000000dc000 - 00000000000e0000 (reserved)
> BIOS-e820: 00000000000e8000 - 0000000000100000 (reserved)
> BIOS-e820: 0000000000100000 - 000000003bee0000 (usable)
> BIOS-e820: 000000003bee0000 - 000000003beea000 (ACPI data)
> BIOS-e820: 000000003beea000 - 000000003bf00000 (ACPI NVS)
> BIOS-e820: 000000003bf00000 - 0000000040000000 (reserved)
> BIOS-e820: 00000000e0000000 - 00000000f0000000 (reserved)
> BIOS-e820: 00000000fec00000 - 00000000fec10000 (reserved)
> BIOS-e820: 00000000fee00000 - 00000000fee01000 (reserved)
> BIOS-e820: 00000000fff80000 - 0000000100000000 (reserved)
> Warning only 896MB will be used.
> Use a HIGHMEM enabled kernel.
> 896MB LOWMEM available.
> found SMP MP-table at 000f84b0
> On node 0 totalpages: 229376
> DMA zone: 4096 pages, LIFO batch:0
> Normal zone: 225280 pages, LIFO batch:31
> DMI present.
> ACPI: RSDP (v000 PTLTD ) @ 0x000f8470
> ACPI: RSDT (v001 PTLTD RSDT 0x06040000 LTP 0x00000000) @
> 0x3bee5663
> ACPI: FADT (v001 CX700 PTLTW 0x06040000 PTL_ 0x000f4240) @
> 0x3bee9a46
> ACPI: SSDT (v001 PPmmRe PPm 0x06040000 INTL 0x20030224) @
> 0x3bee9aba
> ACPI: MADT (v001 PTLTD APIC 0x06040000 LTP 0x00000000) @
> 0x3bee9f74
> ACPI: MCFG (v001 PTLTD MCFG 0x06040000 LTP 0x00000000) @
> 0x3bee9fc4
> ACPI: DSDT (v001 VIA PTL_ACPI 0x06040000 MSFT 0x0100000e) @
> 0x00000000
> ACPI: PM-Timer IO Port: 0x4008
> ACPI: Local APIC address 0xfee00000
> ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
> Processor #0 6:13 APIC version 20
> ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
> ACPI: IOAPIC (id[0x01] address[0xfec00000] gsi_base[0])
> IOAPIC[0]: apic_id 1, version 3, address 0xfec00000, GSI 0-23
> ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
> ACPI: IRQ9 used by override.
> ACPI: IRQ10 used by override.
> Enabling APIC mode: Flat. Using 1 I/O APICs
> Using ACPI (MADT) for SMP configuration information
> Allocating PCI resources starting at 50000000 (gap: 40000000:a0000000)
> Detected 600.029 MHz processor.
> Built 1 zonelists. Total pages: 229376
> Kernel command line: root=/dev/hdc1 ro
> mapped APIC to ffffd000 (fee00000)
> mapped IOAPIC to ffffc000 (fec00000)
> Enabling fast FPU save and restore... done.
> Enabling unmasked SIMD FPU exception support... done.
> Initializing CPU#0
> PID hash table entries: 4096 (order: 12, 16384 bytes)
> Console: colour VGA+ 80x25
> Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
> Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
> Memory: 901704k/917504k available (1499k kernel code, 15224k
> reserved, 599k data, 256k init, 0k highmem)
> Checking if this processor honours the WP bit even in supervisor
> mode... Ok.
> Calibrating delay using timer specific routine.. 1200.98 BogoMIPS
> (lpj=2401970)
> Security Framework v1.0.0 initialized
> SELinux: Disabled at boot.
> Capability LSM initialized
> Mount-cache hash table entries: 512
> CPU: After generic identify, caps: a7c9bbff 00100000 00000000
> 00000000 00004181 00000000 00000000
> CPU: L1 I Cache: 64K (64 bytes/line), D cache 64K (64 bytes/line)
> CPU: L2 Cache: 128K (64 bytes/line)
> CPU: After all inits, caps: 27c9bbff 00100000 00000000 00000000
> 00004181 0000ffcc 00000000
> Compat vDSO mapped to ffffe000.
> CPU: Centaur VIA C7-M Processor 1200MHz stepping 00
> Checking 'hlt' instruction... OK.
> ACPI: Core revision 20060707
> ENABLING IO-APIC IRQs
> ..TIMER: vector=0x31 apic1=0 pin1=0 apic2=-1 pin2=-1
> checking if image is initramfs... it is
> Freeing initrd memory: 4641k freed
> NET: Registered protocol family 16
> EISA bus registered
> ACPI: bus type pci registered
> PCI: Using MMCONFIG
> PCI: No mmconfig possible on 0:0
> PCI: No mmconfig possible on 0:1
> PCI: No mmconfig possible on 0:f
> PCI: No mmconfig possible on 0:10
> PCI: No mmconfig possible on 0:11
> PCI: No mmconfig possible on 0:13
> PCI: No mmconfig possible on 1:0
> PCI: No mmconfig possible on 2:1
> PCI: No mmconfig possible on 3:9
> Setting up standard PCI resources
> ACPI: Interpreter enabled
> ACPI: Using IOAPIC for interrupt routing
> ACPI: PCI Root Bridge [PCI0] (0000:00)
> PCI: Probing PCI hardware (bus 00)
> Boot video device is 0000:01:00.0
> ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
> ACPI: PCI Interrupt Link [ALKA] (IRQs 16 17 18 19 20 21 22 23) *10,
> disabled.
> ACPI: PCI Interrupt Link [ALKB] (IRQs 16 17 18 19 20 21 22 23) *11,
> disabled.
> ACPI: PCI Interrupt Link [ALKC] (IRQs 22) *10, disabled.
> ACPI: PCI Interrupt Link [ALKD] (IRQs 21) *0, disabled.
> ACPI: PCI Interrupt Link [LNKA] (IRQs 9 *10 11 12)
> ACPI: PCI Interrupt Link [LNKB] (IRQs 9 10 *11 12)
> ACPI: PCI Interrupt Link [LNKC] (IRQs 9 *10 11 12)
> ACPI: PCI Interrupt Link [LNKD] (IRQs 9 10 11 12) *0, disabled.
> ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.SP2P._PRT]
> ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P2PE._PRT]
> ACPI: Power Resource [PFN0] (off)
> ACPI: Power Resource [PFN1] (off)
> Linux Plug and Play Support v0.97 (c) Adam Belay
> pnp: PnP ACPI init
> pnp: PnP ACPI: found 9 devices
> PnPBIOS: Disabled by ACPI PNP
> PCI: Using ACPI for IRQ routing
> PCI: If a device doesn't work, try "pci=routeirq". If it helps,
> post a report
> PCI: Failed to allocate mem resource #6:10000@c0000000 for
> 0000:01:00.0
> PCI: Bridge: 0000:00:01.0
> IO window: disabled.
> MEM window: d0000000-d0ffffff
> PREFETCH window: a0000000-bfffffff
> PCI: Bridge: 0000:00:13.0
> IO window: disabled.
> MEM window: d1000000-d10fffff
> PREFETCH window: disabled.
> PCI: Bridge: 0000:00:13.1
> IO window: 5000-5fff
> MEM window: d1100000-d11fffff
> PREFETCH window: disabled.
> PCI: Setting latency timer of device 0000:00:01.0 to 64
> PCI: Setting latency timer of device 0000:00:13.0 to 64
> PCI: Setting latency timer of device 0000:00:13.1 to 64
> NET: Registered protocol family 2
> IP route cache hash table entries: 32768 (order: 5, 131072 bytes)
> TCP established hash table entries: 131072 (order: 7, 524288 bytes)
> TCP bind hash table entries: 65536 (order: 6, 262144 bytes)
> TCP: Hash tables configured (established 131072 bind 65536)
> TCP reno registered
> audit: initializing netlink socket (disabled)
> audit(1204385007.676:1): initialized
> VFS: Disk quotas dquot_6.5.1
> Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
> Initializing Cryptographic API
> io scheduler noop registered
> io scheduler anticipatory registered
> io scheduler deadline registered
> io scheduler cfq registered (default)
> 0000:00:10.4 EHCI: BIOS handoff failed (BIOS bug ?) 01010001
> isapnp: Scanning for PnP cards...
> isapnp: No Plug & Play device found
> Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing
> enabled
> RAMDISK driver initialized: 16 RAM disks of 8192K size 1024 blocksize
> PNP: PS/2 Controller [PNP0303:PS2K,PNP0f13:PS2M] at 0x60,0x64 irq 1,12
> i8042.c: Detected active multiplexing controller, rev 1.1.
> serio: i8042 AUX0 port at 0x60,0x64 irq 12
> serio: i8042 AUX1 port at 0x60,0x64 irq 12
> serio: i8042 AUX2 port at 0x60,0x64 irq 12
> serio: i8042 AUX3 port at 0x60,0x64 irq 12
> serio: i8042 KBD port at 0x60,0x64 irq 1
> mice: PS/2 mouse device common for all mice
> EISA: Probing bus 0 at eisa.0
> Cannot allocate resource for EISA slot 4
> Cannot allocate resource for EISA slot 5
> EISA: Detected 0 cards.
> TCP bic registered
> NET: Registered protocol family 1
> NET: Registered protocol family 17
> NET: Registered protocol family 8
> NET: Registered protocol family 20
> Using IPI Shortcut mode
> ACPI: (supports S0 S3 S4 S5)
> Freeing unused kernel memory: 256k freed
> Time: tsc clocksource has been installed.
> input: AT Translated Set 2 keyboard as /class/input/input0
> ACPI: Transitioning device [FAN0] to D0
> ACPI: Transitioning device [FAN0] to D0
> ACPI: Fan [FAN0] (off)
> ACPI: Fan [FAN1] (on)
> ACPI: CPU0 (power states: C1[C1] C2[C2] C3[C3])
> ACPI: Processor [CPU0] (supports 16 throttling states)
> ACPI: Thermal Zone [THRM] (54 C)
> Uniform Multi-Platform E-IDE driver Revision: 7.00alpha2
> ide: Assuming 33MHz system bus speed for PIO modes; override with
> idebus=xx
> usbcore: registered new driver usbfs
> usbcore: registered new driver hub
> USB Universal Host Controller Interface driver v3.0
> ACPI: PCI Interrupt 0000:00:10.0[A] -> GSI 20 (level, low) -> IRQ 177
> PCI: VIA IRQ fixup for 0000:00:10.0, from 9 to 1
> PCI: Setting latency timer of device 0000:00:10.0 to 64
> uhci_hcd 0000:00:10.0: UHCI Host Controller
> uhci_hcd 0000:00:10.0: new USB bus registered, assigned bus number 1
> uhci_hcd 0000:00:10.0: irq 177, io base 0x00004400
> usb usb1: configuration #1 chosen from 1 choice
> hub 1-0:1.0: USB hub found
> hub 1-0:1.0: 2 ports detected
> ACPI: PCI Interrupt 0000:00:10.1[B] -> GSI 22 (level, low) -> IRQ 185
> PCI: VIA IRQ fixup for 0000:00:10.1, from 11 to 9
> PCI: Setting latency timer of device 0000:00:10.1 to 64
> uhci_hcd 0000:00:10.1: UHCI Host Controller
> uhci_hcd 0000:00:10.1: new USB bus registered, assigned bus number 2
> uhci_hcd 0000:00:10.1: irq 185, io base 0x00004420
> usb usb2: configuration #1 chosen from 1 choice
> hub 2-0:1.0: USB hub found
> hub 2-0:1.0: 2 ports detected
> ACPI: PCI Interrupt 0000:00:10.2[C] -> GSI 21 (level, low) -> IRQ 193
> PCI: VIA IRQ fixup for 0000:00:10.2, from 10 to 1
> PCI: Setting latency timer of device 0000:00:10.2 to 64
> uhci_hcd 0000:00:10.2: UHCI Host Controller
> uhci_hcd 0000:00:10.2: new USB bus registered, assigned bus number 3
> uhci_hcd 0000:00:10.2: irq 193, io base 0x00004440
> usb usb3: configuration #1 chosen from 1 choice
> hub 3-0:1.0: USB hub found
> hub 3-0:1.0: 2 ports detected
> ACPI: PCI Interrupt 0000:00:10.4[D] -> GSI 23 (level, low) -> IRQ 201
> PCI: VIA IRQ fixup for 0000:00:10.4, from 3 to 9
> PCI: Setting latency timer of device 0000:00:10.4 to 64
> ehci_hcd 0000:00:10.4: EHCI Host Controller
> ehci_hcd 0000:00:10.4: new USB bus registered, assigned bus number 4
> ehci_hcd 0000:00:10.4: debug port 1
> ehci_hcd 0000:00:10.4: irq 201, io mem 0xd1400000
> ehci_hcd 0000:00:10.4: USB 2.0 started, EHCI 1.00, driver 10 Dec 2004
> usb usb4: configuration #1 chosen from 1 choice
> hub 4-0:1.0: USB hub found
> hub 4-0:1.0: 6 ports detected
> 8139cp: 10/100 PCI Ethernet driver v1.2 (Mar 22, 2004)
> 8139cp 0000:03:09.0: This (id 10ec:8139 rev 10) is not an 8139C+
> compatible chip
> 8139cp 0000:03:09.0: Try the "8139too" driver instead.
> 8139too Fast Ethernet driver 0.9.27
> ACPI: PCI Interrupt 0000:03:09.0[A] -> GSI 16 (level, low) -> IRQ 209
> PCI: Setting latency timer of device 0000:03:09.0 to 64
> eth0: RealTek RTL8139 at 0x5000, 00:14:0b:34:60:9c, IRQ 209
> eth0: Identified 8139 chip type 'RTL-8100B/8139D'
> usb 4-4: new high speed USB device using ehci_hcd and address 3
> Probing IDE interface ide0...
> Time: acpi_pm clocksource has been installed.
> usb 4-4: configuration #1 chosen from 1 choice
> usb 4-5: new high speed USB device using ehci_hcd and address 4
> usb 4-5: configuration #1 chosen from 1 choice
> hub 4-5:1.0: USB hub found
> hub 4-5:1.0: 4 ports detected
> Probing IDE interface ide1...
> usb 4-6: new high speed USB device using ehci_hcd and address 5
> usb 4-6: configuration #1 chosen from 1 choice
> SCSI subsystem initialized
> Initializing USB Mass Storage driver...
> usb 2-1: new full speed USB device using uhci_hcd and address 2
> hdc: TOSHIBA MK8009GAH, ATA DISK drive
> usb 2-1: configuration #1 chosen from 1 choice
> usb 4-5.3: new low speed USB device using ehci_hcd and address 6
> usb 4-5.3: configuration #1 chosen from 1 choice
> scsi0 : SCSI emulation for USB Mass Storage devices
> usbcore: registered new driver usb-storage
> USB Mass Storage support registered.
> usb-storage: device found at 5
> usb-storage: waiting for device to settle before scanning
> usbcore: registered new driver hiddev
> input: E N E UTS 6680 as /class/input/input1
> input,hiddev96: USB HID v1.10 Mouse [E N E UTS 6680] on
> usb-0000:00:10.4-5.3
> ide1 at 0x170-0x177,0x376 on irq 15
> hdc: max request size: 512KiB
> hdc: 156301488 sectors (80026 MB), CHS=16383/255/63
> hdc: cache flushes supported
> hdc: hdc1 hdc2 < hdc5 >
> Attempting manual resume
> kjournald starting. Commit interval 5 seconds
> EXT3-fs: mounted filesystem with ordered data mode.
> Vendor: Generic- Model: Multi-Card Rev: 1.00
> Type: Direct-Access ANSI SCSI revision: 00
> usb-storage: device scan complete
> usbcore: registered new driver usbhid
> drivers/usb/input/hid-core.c: v2.6:USB HID core driver
> sd 0:0:0:0: Attached scsi removable disk sda
> ts: Compaq touchscreen protocol output
> pci_hotplug: PCI Hot Plug PCI Core version: 0.5
> shpchp: Standard Hot Plug PCI Controller Driver version: 0.4
> input: PC Speaker as /class/input/input2
> Bluetooth: Core ver 2.10
> NET: Registered protocol family 31
> Bluetooth: HCI device and connection manager initialized
> Bluetooth: HCI socket layer initialized
> Bluetooth: HCI USB driver ver 2.9
> usbcore: registered new driver hci_usb
> Synaptics Touchpad, model: 1, fw: 6.3, id: 0x1c0b1, caps:
> 0xa04750/0x200000
> input: SynPS/2 Synaptics TouchPad as /class/input/input3
> Real Time Clock Driver v1.12ac
> ACPI: PCI Interrupt 0000:02:01.0[A] -> GSI 17 (level, low) -> IRQ 217
> PCI: Setting latency timer of device 0000:02:01.0 to 64
> Adding 2650684k swap on /dev/hdc5. Priority:-1 extents:1 across:
> 2650684k
> EXT3 FS on hdc1, internal journal
> loop: loaded (max 8 devices)
> device-mapper: ioctl: 4.7.0-ioctl (2006-06-24) initialised:
dm-devel@...
> Linux agpgart interface v0.101 (c) Dave Jones
> eth0: link up, 100Mbps, full-duplex, lpa 0x41E1
> -------
>
> Do you have an suggestion so I can troubleshoot this issue ?
>
> Thank you in advance,
> Denis