unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
* Microkernel & guix
@ 2016-12-21 12:26 David Craven
  2016-12-21 15:51 ` Ludovic Courtès
  0 siblings, 1 reply; 5+ messages in thread
From: David Craven @ 2016-12-21 12:26 UTC (permalink / raw)
  To: help-guix

Hi,

So I assume that many have already heard of the SEL4 microkernel that
contains a (~full) correctness proof (equivalence to the Haskell
functional model) and proof of various interesting properties
including confidentiality and integrity of the IPC communication and
worst case execution time for hard real time guarantees. [0]

Some other interesting developments in the OS scene is the Genode
operating system [1]. Genode is an implementation of the user-space
part of a microkernel based OS. It supports various microkernels
including the SEL4 and a handful of other microkernel implementations.
It has a driver execution environment for repurposing Linux drivers,
iPXE drivers and NetBSD drivers and provides a POSIX interface to
existing applications.

I think at some point it would be nice to start thinking about how
guix and genode could complement each other. Work is being done on
exploring how nix can help genode with it's "package management
problems" [2]. I suggest waiting to see what develops from that first.

Just thought I'd share in case someone is interested :) And make sure
that Guix devs stay on top of current developements =P

[0] https://github.com/seL4/seL4
[1] https://github.com/genodelabs/genode
[2] https://github.com/ehmry/genode-nix

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2016-12-30 23:29 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-12-21 12:26 Microkernel & guix David Craven
2016-12-21 15:51 ` Ludovic Courtès
2016-12-22 11:27   ` ng0
2016-12-24 20:06     ` David Craven
2016-12-30 23:29       ` Ludovic Courtès

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).