Re: Guix on a microkernel

Thank you for sharing this. Vasilii Kolobkov writes: > My .2 cryptocoins, but you might find it interesting in evaluating HURD > as a kernerl for Guix system. Frankly, I haven't been following HURD > development and don't know how much's changed since. > > [[http://walfield.org/papers/200707-wal

Re: Guix on a microkernel

Not a microkernel, but Plan 9's file system semantics might be worth playing around with. The POSIX emulation probably wouldn't be able to support a full-blown Guix system, but the OS is very well worth taking hints from, at the very least. Overlays would imho be much nicer to work with than pat

Re: Guix on a microkernel

My .2 cryptocoins, but you might find it interesting in evaluating HURD as a kernerl for Guix system. Frankly, I haven't been following HURD development and don't know how much's changed since. [[http://walfield.org/papers/200707-walfield-critique-of-the-GNU-Hurd.pdf]] -- v, pgp key 0xFF3C727297

Re: Guix on a microkernel

Ludovic Courtès writes: > Hi! > > Pjotr Prins skribis: > >> Call it an accident of history ;). Being a GNU project we have a stake >> in getting the Hurd to a usable level and get people to start using >> it for daily work. > > Maybe I shouldn’t write such a thing today, or maybe writing it toda

Re: Guix on a microkernel

Hi! Pjotr Prins skribis: > Call it an accident of history ;). Being a GNU project we have a stake > in getting the Hurd to a usable level and get people to start using > it for daily work. Maybe I shouldn’t write such a thing today, or maybe writing it today is more fun because it lets people

Re: Guix on a microkernel

Pjotr Prins writes: > ... Being a GNU project we have a stake > in getting the Hurd to a usable level and get people to start using > it for daily work. I do not understand this. Could someone elaborate on this "stake" idea further. Does Guix give preferential treatment to GNU projects over

Re: Guix on a microkernel

I do not have benchmark information. Thank you for sharing the link. zna...@tutanota.com writes: > Thanks for your compilation. > Do you have found actual benchmark tests? > https://www.gnu.org/software/hurd/faq/slow.html > > "The Hurd is cur

Re: Guix on a microkernel

On Sat, Mar 30, 2019 at 08:05:40PM -0400, mikadoZero wrote: > * I am curious what others think of microkernels. Microkernels are of great interest from a security point of view. I think they will become popular once there is a usable alternative. We need free software, free software and proper iso

Re: Guix on a microkernel

Thanks for your compilation. Do you have found actual benchmark tests? https://www.gnu.org/software/hurd/faq/slow.html "The Hurd is currently slower than Linux, yes. But not very much, so it is completely usable." Vulnerabilities of processors is

Guix on a microkernel

# Appreciation I appreciate: * many of Guix's design decisions. The one that is relevant to this discussion is the kernel. I like that Guix uses the linux-libre (no binary blobs) instead of the linux kernel. * that work is underway to get Guix to work with GNU Hurd. I like that a microk