Re: x40 users?

[pokjdohg]

Hi ted,
I have a x40, but I can't boot openbsd from flash stick.
If anyone reading this has any clue how to solve that, please
write here.

If I solve this issue, then I could test the behavior of
machdep.apmhalt, if that's what you want.