[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 20:42:19 +0100 |
On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll <vincent.legoll@gmail.com> wrote:
> 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.
Here it is, ukernel only, hardcoded arch, nothing fancy like camkes, etc.
--
Vincent Legoll
0001-gnu-Add-sel4.patch
Description: Text Data