From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id QNsWBX9ulmD9dgAAgWs5BA (envelope-from ) for ; Sat, 08 May 2021 12:57:03 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 2JKyAH9ulmA4WwAAbx9fmQ (envelope-from ) for ; Sat, 08 May 2021 10:57:03 +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 aspmx1.migadu.com (Postfix) with ESMTPS id 9783695A8 for ; Sat, 8 May 2021 12:57:02 +0200 (CEST) Received: from localhost ([::1]:44576 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lfKdp-0001BS-HD for larch@yhetil.org; Sat, 08 May 2021 06:57:01 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34130) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lfKdf-0001BG-SS for guix-devel@gnu.org; Sat, 08 May 2021 06:56:51 -0400 Received: from imta-36.everyone.net ([216.200.145.36]:51740 helo=imta-38.everyone.net) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lfKdd-0000o4-NS for guix-devel@gnu.org; Sat, 08 May 2021 06:56:51 -0400 Received: from pps.filterd (omta002.sj2.proofpoint.com [127.0.0.1]) by imta-38.everyone.net (8.16.0.43/8.16.0.43) with SMTP id 148Arr6H003564 for ; Sat, 8 May 2021 03:56:46 -0700 X-Eon-Originating-Account: dWvyv1-j32AL6xay3gnfmG4X1MAiIF6fO3GX-YfwL9I X-Eon-Dm: m0116293.ppops.net Received: by m0116293.mta.everyone.net (EON-AUTHRELAY2 - 5a81c5cd) id m0116293.60622039.3e9b92 for ; Sat, 8 May 2021 03:56:45 -0700 X-Eon-Sig: AQMHrIJglm5tA0VxcAIAAAAB,4bbadd7b879d2e0c7044ab2d826f9b7e X-Eip: 8ykaCgxrBVRZmDre1BJW0zFbOqbk_juXZp8bDLLPr_w Date: Sat, 8 May 2021 12:56:36 +0200 From: Bengt Richter To: guix-devel Subject: Interesting reading for minimalists, esp mes folks? :) Message-ID: <20210508105636.GA10856@LionPure> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) X-Proofpoint-ORIG-GUID: 81-cylq1NJSnkUmETWshhl1orDojR9LN X-Proofpoint-GUID: 81-cylq1NJSnkUmETWshhl1orDojR9LN X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.391, 18.0.761 definitions=2021-05-08_06:2021-05-06, 2021-05-08 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 clxscore=1034 mlxscore=0 mlxlogscore=810 spamscore=0 phishscore=0 malwarescore=0 bulkscore=0 suspectscore=0 lowpriorityscore=0 impostorscore=0 priorityscore=1501 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104190000 definitions=main-2105080079 Received-SPF: pass client-ip=216.200.145.36; envelope-from=bokr@oz.net; helo=imta-38.everyone.net X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.249, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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: , Reply-To: Bengt Richter 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=1620471422; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=gtQQZxxobdTRuO5S//n5fIhTsl3n8Gv0tLEeOMq/vYk=; b=aN+DZJM5LaODelrn5EdO7H/hY2O2OdImQKKRfrEQ61nevvfLSn9VqlswU+43/YDwJtKuZb ChuDPGsMwIlLYJwxB5VUKWUEgg8AhCBT1eSvDvP4Zt8ng1HpFENWfY8uhzrXtzGOYMWZd+ ZRwt3hh92SUDtUOg9aZrm1EPy0f3EDGXUvJMh6ZZEv4Jhqx0fUnp2qNyl1Yvssyb3AyViE b6IiOckWxezRs5rIv7EViZyBvv29Tou8tvirDTdT2Oqu2QNlmoekyPlNVjZ/ZGsficrIHv F5hmXcX4gf4bpQK3+UopXhXQ+qCbhZu5lQDQyhvkNaI9IpMwdzQBypqvoMs4lg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1620471422; a=rsa-sha256; cv=none; b=oF1/WHO6c1O3iawA4qIco5lRZ+EwYPeQsygknuh9z7ax3rRvcZAZ5VFsoYYXKKj4tL/ZpO 0oOhu/LZ1w+MvU3SLehAWqMS1ymW4uL2UiLL34k+GsNppKkaoRMlAQl7sFsxcoY+ECDBar /Dm2Ac1BVg7IqP+ky6XjJi8qwIVoMdD74c1bmQoo/G920yvkOi//bHXyQ9XmU0nHKZhCgs K4J1ZZQV7TdGxA997bjV1snm/V336/3S10hoJZ4lfuaBfuzRB77dKaAm52WcFAoU39KFEb XayiU8bCIn2fXhe6k9OBj4X4SufETzR8DiDrRPalF4jjEMKsjLsihJLWRmp5rw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.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: -1.95 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.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: 9783695A8 X-Spam-Score: -1.95 X-Migadu-Scanner: scn0.migadu.com X-TUID: OflGRsEWJcy5 Hi minimalists :) In case you hadn't yet come across this (LWN did a piece [5] about a year ago, which was the first I heard of it. (Chasing a dream led me to check more current status) Enjoy :) [1] https://drops.dagstuhl.de/opus/volltexte/2020/11779/pdf/OASIcs-NG-RES-2020-3.pdf [2] https://github.com/bao-project/bao-demos [3] https://github.com/bao-project/bao-hypervisor [4] https://github.com/bao-project/bao-hypervisor#readme [5] https://lwn.net/Articles/820830/ To whet your appetite (from the README at [4]): --8<---------------cut here---------------start------------->8--- Bao has no external dependencies, such as on privileged VMs running untrustable, large monolithic general-purpose operating systems (e.g., Linux), and, as such, encompasses a much smaller TCB. Bao originally targets the Armv8-A architecture, but there is experimental support for the RISC-V architecture. The full list of supported (and work in progress) platforms is presented below: - [x] Xilinx Zynq UltraScale+ MPSoC ZCU102 (Armv8-A) - [x] Xilinx Zynq UltraScale+ MPSoC ZCU104 (Armv8-A) - [x] Ultra96 Zynq UltraScale+ ZU3EG (Armv8-A) - [x] 96Boards HiKey 960 (Armv8-A) - [ ] NXP MCIMX8M-EVK (Armv8-A) - wip - [ ] NXP MCIMX8QM-CPU (Armv8-A) - wip - [ ] 96Boards ROCK960 (Armv8-A) - wip - [ ] QEMU virt (Armv8-A) - wip - [ ] QEMU virt (RISC-V rv64) - wip **NOTE**: This is work in progress! Don't expect things to be complete. Use at your own risk. --8<---------------cut here---------------end--------------->8--- -- Regards, Bengt Richter