No, and a little yes. Their phones are Android based, but Androids libc is OpenBSD based: http://undeadly.org/cgi?action=article&sid=20140506132000

Sadly not; but I would buy an OpenBSD phone... if anyone wants to make it, please call me!

Same here, especially since it'd mean it would /also/ run all the other open source operating systems. It'd be a great litmus-test ("hardware so open that even OpenBSD supports it").

Sign me up too!

But to be honest, the problem with Android is not the Linux kernel but the fact that most phones were never designed to be continuously updated.

Actually Linux is a very poor choice when a product depends on out of tree binary blobs to operate. The lack of stable driver ABIs and APIs are a real problem for long term maintenance. I'm really surprised that the BSDs aren't a much bigger player in the embedded space.

Wasn't the original Danger developed phones based on NetBSD?

Yes, but the real problem is the code source operating system that runs the cellular baseband.

From the spec page http://www.smartisan.com/en/m1/#/specs it appears their OS is based on Android.

I would imagine they have some infrastructure running on OpenBSD.

Or they're doing it for the tooling e.g. supporting openssh

edit: Smartisan's PR indicates the other donation is to OpenSSL, so it seems likely the primary purpose of the OpenBSD donation is in fact SSH.

no