From: kug1977@web.de
Subject: Re: Genode 15.05 is out and brings the Muen Separation Kernel
Date: Thu, 28 May 2015 09:12:14 -0700 (PDT)
Date: 2015-05-28T09:12:14-07:00 [thread overview]
Message-ID: <6f063efa-a9cd-4b07-9b9b-4e8d83db706d@googlegroups.com> (raw)
In-Reply-To: <7e00db83-b825-4c71-8730-06197453a4c4@googlegroups.com>
I'm a follower of L3/L4 for a long time now and it's impressiv what's happen in the microkernel development. But I'm not a good programmer, to understand all concepts and the proven part in seL4 was far away from the thinks I can imagen in my brain. So the questions I've on Muen: Can you use the theorems from seL4 and bring them over to SPARK and use them to ptove your kernel? Or have you to start fram scratch?
prev parent reply other threads:[~2015-05-28 16:12 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-27 8:29 Genode 15.05 is out and brings the Muen Separation Kernel kug1977
2015-05-27 20:49 ` Adrian-Ken Rueegsegger
2015-05-28 16:12 ` kug1977 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox