OK, I'm beginning to get it. I found and skimmed a "device porting walkthrough" (looks like it might have been PowerPoint lecture slides) at https://events.linuxfoundation.org/images/stories/slides/abs2013_zores_jellybean.pdf There are also a couple of Oreilly Android books mentioned in that.
I knew Android was based on Linux but apparently it uses an almost GENERIC Linux kernel as its core. That, by switching symlinks, etc, becomes the kernel for the Debian or probably close enough. Fascinating stuff, if I weren't already 60 I might try to make a career there. So if you could tie an OpenBSD kernel in there somehow it would probably have to sit on top of a Linux kernel to have the Android device drivers (which were built under Linux). And anyway you'd have to redo a lot of the Linux kernel because it doesn't expose hooks to video, input, etc. that OpenBSD would expect. I suppose you could write stub drivers that would bridge to the Android drivers and talk to the OpenBSD kernel, but oh well. So I've got an $80 Linux box (sort of) that I can carry in my pocket. I live in the boonies so the phone data (Straight Talk) is my internet connection, slightly better than dialup. And I'm cordless except for the battery life. I don't regret it. It beats an 80's Radio Shack Pocket Computer. -- Credit is the root of all evil. - AB1JX