Ahhh... I don't know enough about *BSD, I was really craving more details from this article. "Mind the device name!" (Why?) "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?)
Still cool that OpenBSD runs on one of those little tablets though!
config(8) is a utility that has two purposes, the first is to turn a kernel configuration file (GENRIC/GENRIC.MP) into a build directory for compiling, second to modify a resulting ELF kernel binary using an interface similar to the boot time kernel configuration prompt UKC>
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.
I don't think it's intended to be a step-by-step guide. More a set of notes in case the author or someone else wants to work on fixing compatibility issues later.
Still cool that OpenBSD runs on one of those little tablets though!