Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic

[Joshua Branson]

Sorry for starting this centuries flame war, but I can't help but be
more and more impressed with OpenBSD.  It seems ideal for small scale
servers (aka NOT large databases).  It tries really hard to be secure by
default and has great documentation.  With OpenBSD it is easy to set up
a static website (httpd) and your own email server (openSMTPD, spamd,
and pf).

I would argue that the average user will find OpenBSD to be easier to
secure than the Linux kernel.  

The Hyperbola GNU/Linux team recently announced that they would ditch
Linux for OpenBSD. They are using the OpenBSD kernel and the OpenBSD
userland. And they are GPL-ing all of the code. It sounds like they will
have to replace 20% of said code.

https://www.hyperbola.info/

Though the website currently says "Donate to keep the project alive".
So that's not super reassuring...

Anyway, assuming that the HyperbolaBSD team accomplishes their goals,
would Guix System or Guix ever be able to run on HyperbolaBSD? I know
that Guix System ties itself to glibc. HyperbolaBSD does NOT use glibc
and probably never will. Would it be feasible/desireable for Guix & Guix
System to support a BSD kernel and alternative libc?  What about other
OSes?

Thanks,

Joshua

P.S.  I just recently came accross this guide for getting started with
OpenBSD on servers: http://si3t.ch/ah/en/toc/  I am really impressed
with how easy/awesome OpenBSD is.