From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id qAmRDbEBVWAKPgAA0tVLHw (envelope-from ) for ; Fri, 19 Mar 2021 19:55:29 +0000 Received: from aspmx2.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 0FpOCbEBVWCaIgAAbx9fmQ (envelope-from ) for ; Fri, 19 Mar 2021 19:55:29 +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 BB5F3206BC for ; Fri, 19 Mar 2021 20:55:28 +0100 (CET) Received: from localhost ([::1]:55674 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lNLDT-0006IX-Tm for larch@yhetil.org; Fri, 19 Mar 2021 15:55:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42270) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lNLD9-0006IR-Ek for guix-devel@gnu.org; Fri, 19 Mar 2021 15:55:07 -0400 Received: from mail-pf1-x431.google.com ([2607:f8b0:4864:20::431]:33350) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lNLD7-0001CR-OZ for guix-devel@gnu.org; Fri, 19 Mar 2021 15:55:07 -0400 Received: by mail-pf1-x431.google.com with SMTP id x26so6630701pfn.0 for ; Fri, 19 Mar 2021 12:55:05 -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=0knRkAL98KBsQoI2cAiaZh1fSn8M/9dldYTauTWyFFc=; b=hcrFdBm9oDJ+IMWmnc0Q03TzNgmoBon2u0DoyjvQepmFLrogQuE2ITPh8blusk6uVc 1ayhh3zCNL+hkxVC9GOMqrKbUlPY1bhFhUVxH78muisHDaf4o6Ihdu0CqLBUmLU5EHrM S44O9SD0aMc2XZ4/odtIc5YXkd0SRc6ugBBtKi/J/btBQdTLZaOrk5ILRm3EXGfIZ9m2 bKle/d5BpLx56D05tYgbIaEBjlpaQxxzZ2YWGHBDpTakpGC6TudK0iZXdMCTxZoslEs1 GrpFB2/KugDvEV8Z4R2mOBZwCzw74J8k/43je9WNTUeMIOhMAewMT8Wzc2fFaTFs8ElG sU1Q== 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=0knRkAL98KBsQoI2cAiaZh1fSn8M/9dldYTauTWyFFc=; b=QkX4xezY7/QXFdMEpy9eAxDlDWfRHjh/oERHZhOZW0ZeqRMNbVdVdSMbj2JUVA6GHl kJp3PSuf4stdBnYwR1LZ61iIG3TSET7RjJML1sIKLDuLamYnhaspShXFbykqRcGrp2ve AwqJPrQl0J3urIrenOOXU3wUOFNZjW+LEKvSecCAvbbNNWC9+lPx+v7cbUVJbTTSAx1G Fx4DNtQ76giFP0KTZ9DqzE8bvo6qv02ozqT6TmjvvYJKHrwHopJDl57IUEnvwZzH8K7T KJ2ooMuY9lrq7+ew/8FNJT4OzY+v23t4s/E8m89OKkAyOKKCSNIs8t7mBmOYxmVlljeq SeQg== X-Gm-Message-State: AOAM531gLbuMfTp0UQT3lEw2Oj47tuDqxDdQ3i3NMiGrY0vZONWwE6+5 5tUqee+ZCqC5ynOBDdhUFQXfTC9DZSQgPtfGdZY= X-Google-Smtp-Source: ABdhPJxkunQ8q8aMzb2Cwx+I6uLeMiXg7oGeMsAwudztb7UOYIsrBbIxwl/tGfgkha8pO74Vs4/QlL/ayQQSVEZMA90= X-Received: by 2002:aa7:94ad:0:b029:1ef:2392:4ee8 with SMTP id a13-20020aa794ad0000b02901ef23924ee8mr10822112pfl.75.1616183704224; Fri, 19 Mar 2021 12:55:04 -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:54:52 +0100 Message-ID: Subject: Re: [SPITBALL] Jehanne as another kernel option / porting target To: pinoaffe , raingloom , guix-devel Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::431; envelope-from=vincent.legoll@gmail.com; helo=mail-pf1-x431.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=1616183729; 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=0knRkAL98KBsQoI2cAiaZh1fSn8M/9dldYTauTWyFFc=; b=cQUR+wKdXWv4SY4jAIi2/b3VBlZ0i/ZvGdZfzKppLOE0DPKgvE90KoLi3ZCxxiQ+Cv1UO6 4tCnGCByllssd3ig70OWVEJQvGwnW91GKOliW4yULwx1/mKSQ6kgXDzMg505pdOvjTNIHX tHC10PQr65uLvD3zk/P/o5ct1Luf0g1c+oLYV4adqWM9zsFMnkShdcvwdcJH0An11Ec+PX saU9zxmQbfS3y0oo8x9oIZmxSWFJOYGfY4JtEu/PsgY2/2TvFm8XjmZwLHXcWLNgI7flsQ to3iCbQm/nOcyzSxFlaTWM2zGVmS1JSXQO4aVPES8MnbuP6cdbOaT87CyWzP5A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616183729; a=rsa-sha256; cv=none; b=Mw8ftaRrMMb8VazOgNRUWBUi5tR8+bc8ZJLrGBxWmhxCF0BROYzl/Pueb5DcqQ0NciOyEe IIJv2D5Df7FDI2EykEV7udpx26xAdhTscbdjnECTDyYirR/cgj+GBhlsnc8AQuXjYH+gpZ X2cjiQasUc+Vmczkm5ohZ+szhIF3IyRSpBPHKFgdxBQKmKKJhEk3KCBzaR4zrNZcujwZd0 OaKhu5mdHT5Nq9BmSfaUn8pjeH0B/I3m1Ry2GgzDUe32hmTc6UvjJcJp+eEmV2MV0y/L90 kBiDlEW/qm6IwXFopH2TTndR5TwVRFzYcQS86zoBfrMWa/7juFqJ645U8XXDRg== ARC-Authentication-Results: i=1; aspmx2.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=hcrFdBm9; 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.11 Authentication-Results: aspmx2.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=hcrFdBm9; 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: BB5F3206BC X-Spam-Score: -3.11 X-Migadu-Scanner: scn0.migadu.com X-TUID: yNhwYb5R9rWI On Fri, Mar 19, 2021 at 8:42 PM Vincent Legoll wrote: > > 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. vince@guix ~/dev/repo/guix [env]$ file /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped vince@guix ~/dev/repo/guix [env]$ l /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf -r-xr-xr-x 2 root root 179K Jan 1 1970 /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf vince@guix ~/dev/repo/guix [env]$ ./pre-inst-env guix build --check --rounds=5 sel4 [...] successfully built /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv The following builds are still in progress: /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv successfully built /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv The following builds are still in progress: /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv Looks even reproducible... -- Vincent Legoll