[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [SPITBALL] Jehanne as another kernel option / porting target
From: |
François |
Subject: |
Re: [SPITBALL] Jehanne as another kernel option / porting target |
Date: |
Mon, 22 Mar 2021 11:26:04 +0100 |
Hello,
On Fri, Mar 19, 2021 at 12:44:47PM -0400, Joshua Branson wrote:
> pinoaffe <pinoaffe@airmail.cc> writes:
> > raingloom writes:
> >
> >> seL4 would be cool too.
> So essentially most of the active hurd developers considered a port to a
> different microkernel to be impractical. :(
>
> However, one of the main hurd developers (he has since stepped away from
> active development), started a hurd clone: x15.
On the microkernel front there is also [Genode] which seems to have
nice ideas. I don't know if it would suit Guix or not.
[Genode]: https://genode.org/
- [SPITBALL] Jehanne as another kernel option / porting target, raingloom, 2021/03/18
- Re: [SPITBALL] Jehanne as another kernel option / porting target, pinoaffe, 2021/03/19
- Re: [SPITBALL] Jehanne as another kernel option / porting target, Joshua Branson, 2021/03/19
- Re: [SPITBALL] Jehanne as another kernel option / porting target, Vincent Legoll, 2021/03/19
- Re: [SPITBALL] Jehanne as another kernel option / porting target, Vincent Legoll, 2021/03/19
- Re: [SPITBALL] Jehanne as another kernel option / porting target, Vincent Legoll, 2021/03/19
- Re: [SPITBALL] Jehanne as another kernel option / porting target, raingloom, 2021/03/21
- Re: [SPITBALL] Jehanne as another kernel option / porting target, Vincent Legoll, 2021/03/21
- Re: [SPITBALL] Jehanne as another kernel option / porting target,
François <=