Dear List, I am getting the following with OpenBSD 4.0 (amd64) on a ThinkPad z61p (core 2 duo) when booting either the default bsd or bsd.mp kernel:
... ath0 at pc3 dev 0 function 0 "Atheros AR5212 (IBM MiniPCI)" rev 0x01: irq 11 NMI ... going to debugger stopped at ar5k_register_timeout+0x8e: jmp ar5k_register_timeout+0x3e ddb> Reviewed various documents on your website, and the web in general without finding clues on how to proceed. The particular wireless network device was spec'ed based on claimed support on http://openbsd.org/amd64.html. And while I would like to get it working, help in just getting to my first OpenBSD login prompt would be appreciated as well. /Allan

