freebsd layered with chez-scheme

[Kirk Coombs]

> On Oct 24, 2018, at 8:17 AM, Polytropon <freebsd at edvax.de> wrote:

> If I remember correctly, there was (or still is?) a Linux version
> that isn't Linux - it uses a FreeBSD kernel and a GNU userland.
> This is of course much easier as Linux uses comparable calling
> mechanisms.

You're probably thinking of Debian GNU/kFreeBSD.

https://wiki.debian.org/Debian_GNU/kFreeBSD <https://www.debian.org/ports/kfreebsd-gnu/>