From mboxrd@z Thu Jan 1 00:00:00 1970 From: Efraim Flashner Subject: Re: Guix and sel4 Date: Mon, 15 Jan 2018 23:18:12 +0200 Message-ID: <20180115211812.GA1157@macbook41> References: <201801150026.28057.paul@boddie.org.uk> <9b985bf236a0f43870259bf105f6f36d@chmielarz.xyz> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="Qxx1br4bt0+wmkIi" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43608) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ebC96-0006nr-Dt for help-guix@gnu.org; Mon, 15 Jan 2018 16:18:26 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ebC91-0001F1-GN for help-guix@gnu.org; Mon, 15 Jan 2018 16:18:20 -0500 Received: from flashner.co.il ([178.62.234.194]:51925) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ebC91-0001EN-96 for help-guix@gnu.org; Mon, 15 Jan 2018 16:18:15 -0500 Content-Disposition: inline In-Reply-To: <9b985bf236a0f43870259bf105f6f36d@chmielarz.xyz> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: radoslaw@chmielarz.xyz Cc: help-guix@gnu.org --Qxx1br4bt0+wmkIi Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Jan 15, 2018 at 09:44:08PM +0100, radoslaw@chmielarz.xyz wrote: > Hi, >=20 > 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 oth= er > words what would have to be changed in order to work with a different ker= nel > 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 el= se? >=20 > Cheers, > Radek >=20 =66rom '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. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --Qxx1br4bt0+wmkIi Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAlpdGpEACgkQQarn3Mo9 g1GOXg//RDxK2/tyyLhBAoNnJxSphzkWUi27/lHIPitJXAc9XbQ2BtYG9QghsR2J 4iUSqlcTjtznm6ceDG6ebzvUNxUVIj1vV+cRNw2GQIiC/ZujxG1s7ohbOyPmiUIa Q4CYoODEyLQpE1UxPUG+g0hnD6CMTsWHFeddCFKaWnVZgLsQmioSTfY0BJYh1yar lEYDO+uwKDfA/stviVGMc+A4ckoq8GYn/NfcdvkWZcSk/wNbOv0ZxPBbihf3gQXy pSg5drknsxlMVIr2yGQXvbt/lWtwHo06xwiiJHRfi2e9277JYrFQ4ERM6AXS9FO/ n1xHSLDcnOlkZrdziLYnDe46mLud/B7fQrNVTfWRzTj0UOtNGDkFtq454CZEfofZ /lXc/97eAzbJ9O0ICn9nnynZSWy82NifV6dLpslXBFqwGzqze/HUag5XfViVsVJ+ TnsK8gizhteQxXQXR4llwBlaAOwNkOOZDLZqBVDEYFa4trB75a8vQy1wRjVbzMVi 1pXWllgN1Aj/EwkhnpIsXckPh2pHpmqtk9WACbTDEP0Uw2xlRsbb4/uUu6KJaYkE yaaKrZOhaG/7WXZZR0ztkiKOYCNeWBeN9YfwrAk/YPHP0+Rqvvwbm2pHDYvaInaw JoEqiUcJO3l/X4QgpSmHKCxxLZS2zrxWmPO+IfXOdj9eE30su6E= =KogA -----END PGP SIGNATURE----- --Qxx1br4bt0+wmkIi--