On 20-07-2022 18:03, Raghav Gururajan wrote:
> [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. 

(C) Guix System with HyperbolaBSD userspace (except for GNU C library 
and compiler) and Linux or Hurd kernel

Probably won't work for all userspace things but possibly some of them 
run on Linux/Hurd+glibc

Greetings,
Maxime.