2008-04-22 initarm() コンピュータ NetBSD W-ZERO3 setttb() から戻ってこないと思ったら pc が 0xc0xxxxxx (=KERNEL_BASE) じゃなくて 0xa0xxxxxx (=PXA2X0_SDRAM0_START) になってた。ヲレが悪かったよー。