[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [SPITBALL] Jehanne as another kernel option / porting target
From: |
Vincent Legoll |
Subject: |
Re: [SPITBALL] Jehanne as another kernel option / porting target |
Date: |
Fri, 19 Mar 2021 19:02:07 +0100 |
Hello,
On Fri, Mar 19, 2021 at 5:45 PM Joshua Branson <jbranso@dismail.de> wrote:
> >> seL4 would be cool too.
> > Didn't someone do some work on making hurd run on SEL4?
> > Or am I misremembering
>
> You are correct. :)
It was a member of the L4 family, but I think it was not seL4 (looks like seL4
started in 2006).
I have created a guix build recipe for seL4 recently, it builds, but I don't
know what to do with it :-)
I'll send it as a followup to this thread, if any one is interested.
--
Vincent Legoll