> Android already uses the OpenBSD libc (IIRC)

It is a mix of code from OpenBSD, NetBSD, and FreeBSD [1][2]

[1] http://youtu.be/G-36noTCaiA?t=19m40s

[2] http://codingrelic.geekhold.com/2008/11/six-million-dollar-l...