Huhu,

here comes another one:

I have two kernels residing in /, netbsd-1.3 and netbsd, a -current kernel.
When booting with the command

 ok boot netbsd-1.3

the netbsd kernel gets actually loaded. I have to say

 ok boot trallalla

wait for the error which follows and then press return. At the prompt
which appears, I can enter the correct kernel:

 boot: netbsd-1.3

My system is a Sun SparcStation 10
-- 

  Benjamin <lorenz@dfki.de>