Hello Guix!

I'd like to add following points to this discourse:

[1] The idea isn't off-topic, because, Guix is meant to be kernel 
agnostic. So exploring HyperbolaBSD as a kernel option for Guix is with 
in the prospect.

[2] IIUC, HyperbolaBSD (OS) consist of a custom-made kernel and a 
custom-made userspace, both of which the components are either derived 
from OpenBSD System or written from scratch. So two things can be 
explored, *separately*.
(A) Guix System with GNU userspace and HyperbolaBSD kernel.
(B) Guix System with HyperbolaBSD userspace and HyperbolaBSD kernel.

Regards,
RG.