Still cool that OpenBSD runs on one of those little tablets though!
For example, when booting OpenBSD you can type boot -c in the bootloader to enter the UKC> prompt to disable integrated drivers from attaching, i.e:
ukc> disable acpibat
ukc> quit
..continues booting the kernel, but this doesn't work with USB keyboards as there is no USB stack before the kernel is even loaded, this works better with PS/2 keyboards and serial consoles.
You can also boot the same USB flash drive on another computer, run the config utility against an OpenBSD kernel, repeat the same UKC commands, and save a modified kernel with those changes so that a boot can proceed on the HP Stream 7.
So you don't accidentally copy the image over your local hard drive or other important data.
> "USB keyboards don’t work with the in kernel configurator, but we can save changes using config -ef on another machine to disable acpibat." (Like, over ssh, onto the usb, how?)
"grab a new kernel" he said, after dhclient & mount. Using dhclient hints that he's grabbing it over the network. I can't remember if bsd.rd ships with ssh (it probably doesn't) so ftp it is. But usb ought to work too.