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.
OpenPGP_signature
Description: OpenPGP digital signature