From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id SPjyCLb+VGCVJAAA0tVLHw (envelope-from ) for ; Fri, 19 Mar 2021 19:42:46 +0000 Received: from aspmx2.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id eKvXBLb+VGBxEAAA1q6Kng (envelope-from ) for ; Fri, 19 Mar 2021 19:42:46 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx2.migadu.com (Postfix) with ESMTPS id 7E6A92045C for ; Fri, 19 Mar 2021 20:42:45 +0100 (CET) Received: from localhost ([::1]:33588 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lNL1A-0005NZ-Ij for larch@yhetil.org; Fri, 19 Mar 2021 15:42:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40008) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lNL10-0005NO-TE for guix-devel@gnu.org; Fri, 19 Mar 2021 15:42:34 -0400 Received: from mail-pj1-x102a.google.com ([2607:f8b0:4864:20::102a]:34565) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lNL0y-0002da-Pn for guix-devel@gnu.org; Fri, 19 Mar 2021 15:42:34 -0400 Received: by mail-pj1-x102a.google.com with SMTP id cl21-20020a17090af695b02900c61ac0f0e9so8905233pjb.1 for ; Fri, 19 Mar 2021 12:42:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=lnb00+G08mhu3qNoSLXKMGZttOKKKhymY/qE6FXa1V0=; b=bUklR2RsvD+BeyLbqQ/LQ49B0QFmJSGtmrQS3XLWtEZWEmwM2hENEgWn7oBK1Vun3r DIl5WQP2lskt/SSkgkmnd7wfkYg6HOCyq5x8NWW7uIXc1FsyeKuRSLav0JZSnk2rOQhY MAC6asOrp6Su6pQ24ZJh6HvyktdW7PpDcMtjBHtpIWyyqJ9oibsaB5I8ocSlw2dbT32+ jdcs9dDZEx90nK+Fds/jctY/IP13X4pMgvhn8te61hIjjcW5O/IrBm9mQ33uAstZQeka y/eR5ddcJojmulKVi9DktdNhO+hWAGT4cNzqJGI1RZmpQRTRSUXY1bKAnwgjfybjSPy9 Rh/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=lnb00+G08mhu3qNoSLXKMGZttOKKKhymY/qE6FXa1V0=; b=UxZOEkrlFxW5GfGs4ZH5+X5WYZ0BKNzUhxKUxUU1lScJyvFhXI+ksCMAwQOGgjqYX7 5YTisVYeAKTMfORgdObNdcdB9x8BGmsKYsuf3o2scEZJnxsA83eWuL+YpguMKhWW4b1z KF/Di/05jARaDG03Sq7NdwNsUqgTxMgcqHZ4Rju6tpsQnERKrAQTy3XQF1fl8WKXuRU1 vKLbKmvmD9qGdViuW6soiDHlZtzRP8ggsfxO3AH7fg7DuhwK8aBlDM4pXdjLb4To+Uzv ksiGicwuqIvfgmkpsgxgHiyzh0qn2XdNQA0ACck91Q2Mv83cx6AOmiNDfyKFDwLOWirL pb3A== X-Gm-Message-State: AOAM532dirJtUMk5mqG88/4dBWs3YKexpJHsFk16snuHpfomHqOxpgMM 4SWkUAOazudoAC+dkRvLkotwvcbyRgjQM9f58/g= X-Google-Smtp-Source: ABdhPJykX3X5fL68piZZKil9x4pcUxaYf+mbdTzjMlmnxxsJF9lEsJcl07SPZIpPCDwa2cOiZnglxkxFYTsqN17mENQ= X-Received: by 2002:a17:90a:4894:: with SMTP id b20mr149738pjh.50.1616182951246; Fri, 19 Mar 2021 12:42:31 -0700 (PDT) MIME-Version: 1.0 References: <20210319012445.678308ed@riseup.net> <87o8ff8jb9.fsf@airmail.cc> <877dm3ozy8.fsf@dismail.de> In-Reply-To: From: Vincent Legoll Date: Fri, 19 Mar 2021 20:42:19 +0100 Message-ID: Subject: Re: [SPITBALL] Jehanne as another kernel option / porting target To: pinoaffe , raingloom , guix-devel Content-Type: multipart/mixed; boundary="000000000000b3980b05bde8eaba" Received-SPF: pass client-ip=2607:f8b0:4864:20::102a; envelope-from=vincent.legoll@gmail.com; helo=mail-pj1-x102a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616182965; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=lnb00+G08mhu3qNoSLXKMGZttOKKKhymY/qE6FXa1V0=; b=Td5WRKLaUESnzMJClY1hVltN2bzwgtlhRf70Y2YJ5zSxuVzDwhG0vRRcNPNWc+OCnTHa4F yQmSz4z1vHKbaZUMlopEldVINKSKcOK2+7sVuPCW+GinN9BPsFxnxaYM8ULsE5V++Fluq+ DL5yo92Bq24xOC+3vqZBnCjN7VtHwlPvBjYUv85JhQiRali9aPGRMJBS1HDlfy2X4zHn/P tU+7ukPI64uZffMHYXOFyJZWGHRdFxxK2ctEuiI2eAR8yLTX1TVtVFJnTSbyYJH4CmMu81 nLjU1+elpSs3XLRTQFB766eq0Rr355NP2PHWokSHkJvupz/wQp5nJkXVaR+aLg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616182965; a=rsa-sha256; cv=none; b=uFKMjAiH6XD3GxqssN4SuUrSnJlOX2q8D1mt7nB3b83QW43dYbMVbKFfXgK18Qcw/0bD4+ QkQKhjFg/jZZ8n0NjG2QE79mpXD96AwFS6SEEoRci2SkJ0EfIwEHbBSlXB9vyGItuFYmRJ jKSGj/uQmsQtJmHPesdm412pI/PDUwFgEsdXISLA3b+bCQED7VdL9uDzZyCMfoBTHgzHR2 VN5mgXDjta/DSKNlyjxPWJGBA5DpUlBb0pVTJZtTo4Q3Dx5PXqHFZaCwvYT6JA/5wXTxaa /a0M7rWIJ4wiSivWxYRi54eh6Ks/rlOdMLh++bmmgKBnS8PGVQ6rdT80HwLVOw== ARC-Authentication-Results: i=1; aspmx2.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=bUklR2Rs; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx2.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -3.01 Authentication-Results: aspmx2.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=bUklR2Rs; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx2.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 7E6A92045C X-Spam-Score: -3.01 X-Migadu-Scanner: scn0.migadu.com X-TUID: GHvVtSvopkfh --000000000000b3980b05bde8eaba Content-Type: text/plain; charset="UTF-8" On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll 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 --000000000000b3980b05bde8eaba Content-Type: text/x-patch; charset="UTF-8"; name="0001-gnu-Add-sel4.patch" Content-Disposition: attachment; filename="0001-gnu-Add-sel4.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_kmgpjbt20 RnJvbSA2MDdjZWY0MTgzOTEzMWZkNzQwZmJmNzU0ZDMwZjNhOTI3N2M1YTBhIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBWaW5jZW50IExlZ29sbCA8dmluY2VudC5sZWdvbGxAZ21haWwu Y29tPgpEYXRlOiBGcmksIDE5IEZlYiAyMDIxIDIzOjQ5OjQzICswMTAwClN1YmplY3Q6IFtQQVRD SF0gZ251OiBBZGQgc2VsNC4KCiogZ251L3BhY2thZ2VzL3NlbDQuc2NtOiBOZXcgZmlsZS4uLgoq IGdudS9sb2NhbC5tayAoR05VX1NZU1RFTV9NT0RVTEVTKTogLi4uQWRkIGl0IGhlcmUuCi0tLQog Z251L2xvY2FsLm1rICAgICAgICAgIHwgIDEgKwogZ251L3BhY2thZ2VzL3NlbDQuc2NtIHwgODMg KysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKwogMiBmaWxlcyBjaGFu Z2VkLCA4NCBpbnNlcnRpb25zKCspCiBjcmVhdGUgbW9kZSAxMDA2NDQgZ251L3BhY2thZ2VzL3Nl bDQuc2NtCgpkaWZmIC0tZ2l0IGEvZ251L2xvY2FsLm1rIGIvZ251L2xvY2FsLm1rCmluZGV4IDMz ZGE3Yjk3OWEuLjZkNGRkYjJiZGQgMTAwNjQ0Ci0tLSBhL2dudS9sb2NhbC5taworKysgYi9nbnUv bG9jYWwubWsKQEAgLTUwMiw2ICs1MDIsNyBAQCBHTlVfU1lTVEVNX01PRFVMRVMgPQkJCQlcCiAg ICVEJS9wYWNrYWdlcy9zZGwuc2NtCQkJCVwKICAgJUQlL3BhY2thZ2VzL3NlYXJjaC5zY20JCQlc CiAgICVEJS9wYWNrYWdlcy9zZWN1cml0eS10b2tlbi5zY20JCVwKKyAgJUQlL3BhY2thZ2VzL3Nl bDQuc2NtCQkJCVwKICAgJUQlL3BhY2thZ2VzL3NlbGludXguc2NtCQkJXAogICAlRCUvcGFja2Fn ZXMvc2VxdW9pYS5zY20JCQlcCiAgICVEJS9wYWNrYWdlcy9zZXJpYWxpemF0aW9uLnNjbQkJXApk aWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL3NlbDQuc2NtIGIvZ251L3BhY2thZ2VzL3NlbDQuc2Nt Cm5ldyBmaWxlIG1vZGUgMTAwNjQ0CmluZGV4IDAwMDAwMDAwMDAuLjZmYzNmODhhYzIKLS0tIC9k ZXYvbnVsbAorKysgYi9nbnUvcGFja2FnZXMvc2VsNC5zY20KQEAgLTAsMCArMSw4MyBAQAorOzs7 IEdOVSBHdWl4IC0tLSBGdW5jdGlvbmFsIHBhY2thZ2UgbWFuYWdlbWVudCBmb3IgR05VCis7Ozsg Q29weXJpZ2h0IMKpIDIwMjEgVmluY2VudCBMZWdvbGwgPHZpbmNlbnQubGVnb2xsQGdtYWlsLmNv bT4KKzs7OworOzs7IFRoaXMgZmlsZSBpcyBwYXJ0IG9mIEdOVSBHdWl4LgorOzs7Cis7OzsgR05V IEd1aXggaXMgZnJlZSBzb2Z0d2FyZTsgeW91IGNhbiByZWRpc3RyaWJ1dGUgaXQgYW5kL29yIG1v ZGlmeSBpdAorOzs7IHVuZGVyIHRoZSB0ZXJtcyBvZiB0aGUgR05VIEdlbmVyYWwgUHVibGljIExp Y2Vuc2UgYXMgcHVibGlzaGVkIGJ5Cis7OzsgdGhlIEZyZWUgU29mdHdhcmUgRm91bmRhdGlvbjsg ZWl0aGVyIHZlcnNpb24gMyBvZiB0aGUgTGljZW5zZSwgb3IgKGF0Cis7OzsgeW91ciBvcHRpb24p IGFueSBsYXRlciB2ZXJzaW9uLgorOzs7Cis7OzsgR05VIEd1aXggaXMgZGlzdHJpYnV0ZWQgaW4g dGhlIGhvcGUgdGhhdCBpdCB3aWxsIGJlIHVzZWZ1bCwgYnV0Cis7OzsgV0lUSE9VVCBBTlkgV0FS UkFOVFk7IHdpdGhvdXQgZXZlbiB0aGUgaW1wbGllZCB3YXJyYW50eSBvZgorOzs7IE1FUkNIQU5U QUJJTElUWSBvciBGSVRORVNTIEZPUiBBIFBBUlRJQ1VMQVIgUFVSUE9TRS4gIFNlZSB0aGUKKzs7 OyBHTlUgR2VuZXJhbCBQdWJsaWMgTGljZW5zZSBmb3IgbW9yZSBkZXRhaWxzLgorOzs7Cis7Ozsg WW91IHNob3VsZCBoYXZlIHJlY2VpdmVkIGEgY29weSBvZiB0aGUgR05VIEdlbmVyYWwgUHVibGlj IExpY2Vuc2UKKzs7OyBhbG9uZyB3aXRoIEdOVSBHdWl4LiAgSWYgbm90LCBzZWUgPGh0dHA6Ly93 d3cuZ251Lm9yZy9saWNlbnNlcy8+LgorCisoZGVmaW5lLW1vZHVsZSAoZ251IHBhY2thZ2VzIHNl bDQpCisgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzKQorICAjOnVzZS1tb2R1bGUgKGdudSBw YWNrYWdlcyBweXRob24pCisgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIHB5dGhvbi14eXop CisgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIHB5dGhvbi13ZWIpCisgICM6dXNlLW1vZHVs ZSAoZ251IHBhY2thZ2VzIG5pbmphKQorICAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyB4bWwp CisgICM6dXNlLW1vZHVsZSAoZ3VpeCBidWlsZC1zeXN0ZW0gY21ha2UpCisgICM6dXNlLW1vZHVs ZSAoKGd1aXggbGljZW5zZXMpICM6cHJlZml4IGxpY2Vuc2U6KQorICAjOnVzZS1tb2R1bGUgKGd1 aXggcGFja2FnZXMpCisgICM6dXNlLW1vZHVsZSAoZ3VpeCBnaXQtZG93bmxvYWQpKQorCisoZGVm aW5lLXB1YmxpYyBzZWw0CisgIChwYWNrYWdlCisgICAgKG5hbWUgInNlbDQiKQorICAgICh2ZXJz aW9uICIxMi4wLjAiKQorICAgIChzb3VyY2UKKyAgICAgKG9yaWdpbgorICAgICAgIChtZXRob2Qg Z2l0LWZldGNoKQorICAgICAgICh1cmkgKGdpdC1yZWZlcmVuY2UKKyAgICAgICAgICAgICAodXJs ICJodHRwczovL2dpdGh1Yi5jb20vc2VMNC9zZUw0IikKKyAgICAgICAgICAgICAoY29tbWl0IHZl cnNpb24pKSkKKyAgICAgICAoZmlsZS1uYW1lIChnaXQtZmlsZS1uYW1lIG5hbWUgdmVyc2lvbikp CisgICAgICAgKHNoYTI1NgorICAgICAgICAoYmFzZTMyICIxemt4Nng1amx5OGY3NXBoOWp4ZDJq cnAxa2c1bDAwMXprZnFwbWpmOGFuY3NpMWI0M3k3IikpKSkKKyAgICAoYnVpbGQtc3lzdGVtIGNt YWtlLWJ1aWxkLXN5c3RlbSkKKyAgICAoYXJndW1lbnRzCisgICAgICcoIzp0ZXN0cz8gI2YgOzsg Tm8gbmVlZCBmb3IgdGVzdHMgd2hlbiB5b3UgaGF2ZSBmb3JtYWwgcHJvb2Ygb2YgY29ycmVjdG5l c3MKKyAgICAgICAjOmNvbmZpZ3VyZS1mbGFncworICAgICAgIChsaXN0CisgICAgICAgICItRyIg Ik5pbmphIgorICAgICAgICAiLURLZXJuZWxBcmNoPXg4NiIKKyAgICAgICAgIi1EQ1JPU1NfQ09N UElMRVJfUFJFRklYPSIKKyAgICAgICAgIi1EQ01BS0VfVE9PTENIQUlOX0ZJTEU9Li4vc291cmNl L2djYy5jbWFrZSIKKyAgICAgICAgIi1DIiAiLi4vc291cmNlL2NvbmZpZ3MvWDY0X3ZlcmlmaWVk LmNtYWtlIikKKyAgICAgICAjOnBoYXNlcyAobW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQtcGhhc2Vz CisgICAgICAgICAgICAgICAgICAocmVwbGFjZSAnYnVpbGQKKyAgICAgICAgICAgICAgICAgICAg KGxhbWJkYSBfCisgICAgICAgICAgICAgICAgICAgICAgKGludm9rZSAibmluamEiICJrZXJuZWwu ZWxmIikpKQorICAgICAgICAgICAgICAgICAgKHJlcGxhY2UgJ2luc3RhbGwKKyAgICAgICAgICAg ICAgICAgICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgICAgICAgICAgKG1rZGlyLXAgJW91dHB1 dCkKKyAgICAgICAgICAgICAgICAgICAgICAoY29weS1maWxlICJrZXJuZWwuZWxmIgorICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQgJW91dHB1dCAiL2tlcm5l bC5lbGYiKSkpKSkpKQorICAgIChuYXRpdmUtaW5wdXRzCisgICAgIGAoKCJsaWJ4bWwyIiAsbGli eG1sMikKKyAgICAgICAoIm5pbmphIiAsbmluamEpCisgICAgICAgKCJweXRob24iICxweXRob24t MykKKyAgICAgICAoInB5dGhvbi1mdXR1cmUiICxweXRob24tZnV0dXJlKQorICAgICAgICgicHl0 aG9uLWppbmphMiIgLHB5dGhvbi1qaW5qYTIpCisgICAgICAgKCJweXRob24tcGFzdGUiICxweXRo b24tcGFzdGUpCisgICAgICAgKCJweXRob24tcGx5IiAscHl0aG9uLXBseSkKKyAgICAgICAoInB5 dGhvbi1zaXgiICxweXRob24tc2l4KQorICAgICAgICkpCisgICAgKHN5bm9wc2lzICJPcGVyYXRp bmcgU3lzdGVtIG1pY3Jva2VybmVsIikKKyAgICAoZGVzY3JpcHRpb24gIkZvcm1hbGx5IHZlcmlm aWVkIG1lbWJlciBvZiB0aGUgTDQgbWljcm9rZXJuZWwgZmFtaWx5LiIpCisgICAgKGhvbWUtcGFn ZSAiaHR0cHM6Ly9zZWw0LnN5c3RlbXMiKQorICAgIChsaWNlbnNlIChsaXN0IGxpY2Vuc2U6YXNs Mi4wIDsgQW5kIGFsc28gYSB2YXJpYW50IGluIExJQ0VOU0VTL1NITC0wLjUxLnR4dAorICAgICAg ICAgICAgICAgICAgIGxpY2Vuc2U6YnNkLTIKKyAgICAgICAgICAgICAgICAgICBsaWNlbnNlOmJz ZC0zCisgICAgICAgICAgICAgICAgICAgbGljZW5zZTpjYy1ieS1zYTQuMAorICAgICAgICAgICAg ICAgICAgIGxpY2Vuc2U6Z3BsMgorICAgICAgICAgICAgICAgICAgIGxpY2Vuc2U6Z3BsMisKKyAg ICAgICAgICAgICAgICAgICBsaWNlbnNlOmxwcGwxLjNjCisgICAgICAgICAgICAgICAgICAgbGlj ZW5zZTp4MTEpKSkpCi0tIAoyLjMwLjAKCg== --000000000000b3980b05bde8eaba--