freebsd layered with chez-scheme

[Dave Cottlehuber]

On Tue, 23 Oct 2018, at 08:04, Mayuresh Kathe wrote:
> would my understanding of systems (as below) be right?
> 
> there's the freebsd kernel which is layered upon with the libc
> and other supporting libraries like libm.
> this combination is layered upon with the userland with code
> in place to provide security?
> 
> given the above, would i be right in assuming that a similar
> setup can be used, say with something like chez-scheme to
> provide the userland?
> 
> so essentially, the kernel would be layered with the libraries,
> which would support chez-scheme running in multi-threaded mode.
> then the rest of the userland would be a set of scheme programs.
> 
> obviously, that would not be unix due to it's non-posix nature
> as well as difference in philosophy, but it could be the start
> of something new.
> 
> ~mayuresh

Hi Mayuresh,

Although not exactly what you had in mind, this reminds me of rump kernels:

https://www.netbsd.org/docs/rump/sysproxy.html
https://www.bsdcan.org/2009/schedule/attachments/104_rumpdevel.pdf

I've not heard of a scheme-flavoured variant yet though, but ling
http://www.erlangonxen.org/ should give you an idea of what people
have tried.

A+
Dave