[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Guix and sel4
From: |
Efraim Flashner |
Subject: |
Re: Guix and sel4 |
Date: |
Mon, 15 Jan 2018 23:18:12 +0200 |
User-agent: |
Mutt/1.9.2 (2017-12-15) |
On Mon, Jan 15, 2018 at 09:44:08PM +0100, address@hidden wrote:
> Hi,
>
> It wasn't entirely what I was hoping for but thank You for answering. So to
> dig a little deeper how closely is guix connected to linux kernel? In other
> words what would have to be changed in order to work with a different kernel
> and therefore different syscalls? I don't mean the whole system but the
> minimal set. I would assume that a toolchain (make, binutils, gcc),
> obviously guile if there is anything specific to linux in it. Anything else?
>
> Cheers,
> Radek
>
from 'git grep linux-{libre-}headers' it comes up a few times, but
really in make-boostrap, cross-base and commencement. For a start I
would focus on make-bootstrap (to make the boostrap binaries) and then
commencement (to build up again).
As far as different syscalls, I assume mist things should just work, but
I haven't looked into it.
--
Efraim Flashner <address@hidden> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature