Thanks for shedding some light on the possible status of the Rumprun maintainer! Hope he's happy brewing beers :)
Thanks for mentioning OSv[0], I'd never heard about it before.
I'm excited to see what happens with Nabla, I read the accompanying paper and was pretty excited about the possibilities. Nabla's greatest strength is it's ergonomics, IMO, though rumprun comes close (someone took some time to make dockerized containers for it).
[EDIT] - looking at OSv's (primary?) tool capstan[1], I'm not sure it's quite the same, it seems more like linuxkit[2] than rumprun. Maybe my intuition is wrong, but it seems much more like you're bringing along a stripped down OS than you're writing a program meant to interact with a shared unikernel. The distinction is so fuzzy in my head I'm not sure there is one, but it feels different.
[0]: http://osv.io/
[1]: https://github.com/cloudius-systems/capstan
[2]: https://github.com/linuxkit/linuxkit