From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 9147 invoked from network); 20 Sep 2021 05:43:53 -0000 Received: from tb-ob0.topicbox.com (64.147.108.117) by inbox.vuxu.org with ESMTPUTF8; 20 Sep 2021 05:43:53 -0000 Received: from tb-mx0.topicbox.com (tb-mx0.nyi.icgroup.com [10.90.30.73]) by tb-ob0.topicbox.com (Postfix) with ESMTP id 27DA2363A0 for ; Mon, 20 Sep 2021 01:43:52 -0400 (EDT) (envelope-from bounce.mMb39cc944a90b85f939dd26dc.r522be890-2105-11eb-b15e-8d699134e1fa@9fans.bounce.topicbox.com) Received: by tb-mx0.topicbox.com (Postfix, from userid 1132) id 25154400C1D6; Mon, 20 Sep 2021 01:43:52 -0400 (EDT) ARC-Authentication-Results: i=2; topicbox.com; arc=pass; dkim=none (no signatures found); dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=cs.cmu.edu; spf=pass smtp.mailfrom=davide+p9@cs.cmu.edu smtp.helo=relay.andrew.cmu.edu; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (message has been altered)) (Message modified while forwarding at Topicbox) ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=from:to:subject:in-reply-to:mime-version :content-type:content-id:date:message-id:list-help:list-id :list-post:list-subscribe:reply-to:content-transfer-encoding :list-unsubscribe; s=sysmsg-1; t=1632116632; bh=8dREtAZjrcDBAMiR BZ1zsucxYdPVSt4gf+uKIm4yT2E=; b=dNOl10hpFlgWfbe4PA//d5RNsX6jV5mL L1GLArZcq7KdKk1B3TVGFnidU9oghgzHdEq8YO80/V8YYiuIV32UP2ihhy1ibOHy o3bARxhsFJ7rxbqvHvYk1ky8rK7FOZ2BBucKu4uaqEljG+LcezCsIdnxdm0DxizE 8/m61HJYRlg= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1632116632; b=GyCb1s9nDMocXTJ0FcjI8vUg6l8Ie50nZupuXOfC0p87xxm5LF jHTRvY8JfKp7TbeB1jxqSmWeCt9IbJynRxXWjb3g05IBdVy+RJdyoWMVcYcje8lU 9tL9BqtH24a2Ymo5yCEEF54gwQ5PMLt/qrErIbXtbfmMfOp8k/1d6ZmB8= Authentication-Results: topicbox.com; arc=pass; dkim=none (no signatures found); dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=cs.cmu.edu; spf=pass smtp.mailfrom=davide+p9@cs.cmu.edu smtp.helo=relay.andrew.cmu.edu; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (message has been altered)) (Message modified while forwarding at Topicbox) X-Received-Authentication-Results: tb-mx1.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC did not pass); dkim=none (no signatures found); dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=cs.cmu.edu; iprev=pass smtp.remote-ip=128.2.157.21 (RELAY-06.ANDREW.CMU.EDU); spf=pass smtp.mailfrom=davide+p9@cs.cmu.edu smtp.helo=relay.andrew.cmu.edu; x-aligned-from=pass (Address match); x-me-sender=none; x-ptr=fail smtp.helo=relay.andrew.cmu.edu policy.ptr=RELAY-06.ANDREW.CMU.EDU; x-return-mx=pass header.domain=cs.cmu.edu policy.org_domain=cmu.edu policy.is_org=no (MX Records found: scs-mx-02.andrew.cmu.edu,scs-mx-01.andrew.cmu.edu,scs-mx-04.andrew.cmu.edu,scs-mx-03.andrew.cmu.edu); x-return-mx=pass smtp.domain=cs.cmu.edu policy.org_domain=cmu.edu policy.is_org=no (MX Records found: scs-mx-02.andrew.cmu.edu,scs-mx-01.andrew.cmu.edu,scs-mx-04.andrew.cmu.edu,scs-mx-03.andrew.cmu.edu); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=9fans.net; h=from:to :subject:in-reply-to:mime-version:content-type:content-id:date :message-id:list-help:list-id:list-post:list-subscribe:reply-to :content-transfer-encoding:list-unsubscribe; s=dkim-1; bh=zpOOuP lmKF0Gg/MIeccb3wqDel61HUOKneTXIiiHdeU=; b=h6uj4Q9Loq58P5mZJs+7aE NtZCu6vyHchC4PfuEzc4QZ2ePm2HcHrPRGrkEa3xxttr1uRFUn0vKbu6s1wUt/Sr TeT7ZOnhpzi6AFwl3KcP2Jl0/4kZlx95eUCxNBbza8au1qQ1d+SDWwQIdapxXtrC A+Wg5DUphjkH5KLf7ffpA= Received: from tb-mx1.topicbox.com (localhost.local [127.0.0.1]) by tb-mx1.topicbox.com (Postfix) with ESMTP id 5EF46420333C for <9fans@9fans.net>; Mon, 20 Sep 2021 01:43:42 -0400 (EDT) (envelope-from davide+p9@cs.cmu.edu) Received: from tb-mx1.topicbox.com (localhost [127.0.0.1]) by tb-mx1.topicbox.com (Authentication Milter) with ESMTP id B4D35D98223; Mon, 20 Sep 2021 01:43:42 -0400 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1632116622; b=wxRzIVnXJrxuy5NN90bjZnK+pw53rUsRcLzE4qhspAgu9HjIKn oSc+XCgl+2d0IKv6ZYbSp2H9QTIdelKO6nXxLg1/o5hDIWO996iMs8r/462lnA4m g7Iq6U19PEA6/hYbbieCNkZyGAeUT6fEXzt3QOSBh3CdkjqA+SHE9GxIkVCsIZpO cyj5SA9GCIOZgmME9S1/l2MDoeKOnTXGPKhf8fjik93wkLduxdGPG9TKdyltoPGw drBs7uIPs4k30sNgsBqJPZG16kkMI8PaSfFrBoWmrQv1b3OyHjxJflx4PpQ6bJ2q ePxv4rNOF2ckWnrW9j4JfSFJ00kWx0afUg1w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=from:to:subject:in-reply-to:mime-version :content-type:content-id:date:message-id; s=arcseal; t= 1632116622; bh=JecpzH7K205K6LEBas7LEgFJFCczTOfBTJqPIQtlzlY=; b=e 1D+HiAXLQBGyiQhwEUoU7pWmPC4/BR36pubC5zYThR8ME7O6e+JT5QG2xWgiZvf1 lHFT/YgKDPndJrPFIj8m8jV7lj+jrVVOA0m0Aigy3Jy2rgjjqEH+ydXgWEZMv47V 62FrCqgvltsrxM6l51rSIqf/GjQf5gITlr64hY0VZw7fl5VpAGiCJhWrxxTrO5HF vAGOTS/S7bYEaCbFY+GXsCq4TRs8Iyyc/mpqKavFC+8h5fNqt3ygp58K3aq1fi4J DOIB+Ak09arBUZuWCBwkz/64TNSaHycXozzVq7GSONHAQX3LXjJBzhSJBX374W87 rC0g/fSBZy1SXgxnf9SWA== ARC-Authentication-Results: i=1; tb-mx1.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC did not pass); dkim=none (no signatures found); dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=cs.cmu.edu; iprev=pass smtp.remote-ip=128.2.157.21 (RELAY-06.ANDREW.CMU.EDU); spf=pass smtp.mailfrom=davide+p9@cs.cmu.edu smtp.helo=relay.andrew.cmu.edu; x-aligned-from=pass (Address match); x-me-sender=none; x-ptr=fail smtp.helo=relay.andrew.cmu.edu policy.ptr=RELAY-06.ANDREW.CMU.EDU; x-return-mx=pass header.domain=cs.cmu.edu policy.org_domain=cmu.edu policy.is_org=no (MX Records found: scs-mx-02.andrew.cmu.edu,scs-mx-01.andrew.cmu.edu,scs-mx-04.andrew.cmu.edu,scs-mx-03.andrew.cmu.edu); x-return-mx=pass smtp.domain=cs.cmu.edu policy.org_domain=cmu.edu policy.is_org=no (MX Records found: scs-mx-02.andrew.cmu.edu,scs-mx-01.andrew.cmu.edu,scs-mx-04.andrew.cmu.edu,scs-mx-03.andrew.cmu.edu); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 X-ME-VSCause: gggruggvucftvghtrhhoucdtuddrgedvtddrudeitddgudefleculddtuddrgeduhedrtd dtmdcutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggft fghnshhusghstghrihgsvgdpuffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftd dtnecunecujfgurhephffvufgjgggtfffksehttdertddttddvnecuhfhrohhmpeffrghv vgcugfgtkhhhrghrughtuceouggrvhhiuggvodhpleestghsrdgtmhhurdgvughuqeenuc ggtffrrghtthgvrhhnpeeukeeuveetfeefgfetvdekheeguefhvdejfeeujedutdeggfeg vefgvddttddvudenucffohhmrghinheptghmuhdrvgguuhdpghhithhhuhgsrdgtohhmne cukfhppeduvdekrddvrdduheejrddvuddpuddvkedrvddrvddtledrgeenucevlhhushht vghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpeduvdekrddvrdduheejrddvuddphh gvlhhopehrvghlrgihrdgrnhgurhgvfidrtghmuhdrvgguuhdpmhgrihhlfhhrohhmpeeo uggrvhhiuggvodhpleestghsrdgtmhhurdgvughuqe X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (cs.cmu.edu: Sender is authorized to use 'davide+p9@cs.cmu.edu' in 'mfrom' identity (mechanism 'include:_spf.cmu.edu' matched)) receiver=tb-mx1.topicbox.com; identity=mailfrom; envelope-from="davide+p9@cs.cmu.edu"; helo=relay.andrew.cmu.edu; client-ip=128.2.157.21 Received: from relay.andrew.cmu.edu (RELAY-06.ANDREW.CMU.EDU [128.2.157.21]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by tb-mx1.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Mon, 20 Sep 2021 01:43:41 -0400 (EDT) (envelope-from davide+p9@cs.cmu.edu) Received: from lunacy.ugrad.cs.cmu.edu (lunacy.ugrad.cs.cmu.edu [128.2.209.4]) by relay.andrew.cmu.edu (8.15.2/8.15.2) with ESMTP id 18K5hfvs049322 for <9fans@9fans.net>; Mon, 20 Sep 2021 01:43:41 -0400 From: Dave Eckhardt To: 9fans <9fans@9fans.net> Subject: Re: [9fans] GSoC 2021 project ideas In-reply-to: MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-ID: <15936.1632116621.1@lunacy.ugrad.cs.cmu.edu> Date: Mon, 20 Sep 2021 01:43:41 -0400 Message-ID: <15937.1632116621@lunacy.ugrad.cs.cmu.edu> X-Scanned-By: MIMEDefang 2.78 on 128.2.157.21 Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: b90a6932-19d5-11ec-bec9-f7dffc40f4db Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UMzlhZWM4ZjNmOWQ4NTAzZC1NYjM5Y2M5NDRhOTBiODVmOTM5ZGQy?= =?UTF-8?B?NmRjPg==?= List-Help: List-Id: "9fans" <9fans.9fans.net> List-Post: List-Software: Topicbox v0 List-Subscribe: Precedence: list Reply-To: 9fans <9fans@9fans.net> Content-Transfer-Encoding: quoted-printable List-Unsubscribe: , Topicbox-Delivery-ID: 2:9fans:437d30aa-c441-11e9-8a57-d036212d11b0:522be890-2105-11eb-b15e-8d699134e1fa:Mb39cc944a90b85f939dd26dc:1:Rhq4T7i8kc-baerNdfbSFYnZmCkMg7qz0OJKfu3Osls > Anyone know if this project went anywhere? > > https://www.cs.cmu.edu/~412/lectures/L05_Purge_Proposal.pdf Sadly, not. One issue is that modern Android releases don't support 32-bit executables, and at the time that project was attempted Inferno was somewhat 32-bit (I haven't looked since). But I think I saw some recent-ish Inferno-on-Android activity here: https://github.com/bhgv/Inferno-OS-bhgv If wide availability, meaning being able to have a phone UI running on random cheap Android phones, is a goal, you'd presumably want to target one or more vendor releases of Android. But if a low-cruft solution were desired, it might be desirable to target AOSP or GrapheneOS. Both of those boot *dramatically* faster than vendor ROMs, and it's because there is just less code. Between the two of them, GrapheneOS might be better: it doesn't run on a lot of phones, but some of them are cheap enough, and switching from the vendor ROM to GrapheneOS is easy enough. Compared to AOSP, GrapheneOS has some genuine usability features, e.g., a usable backup/restore solution. Hopefully some of this is useful. Sorry I can't provide more! Dave Eckhardt ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T39aec8f3f9d8503d-Mb39cc= 944a90b85f939dd26dc Delivery options: https://9fans.topicbox.com/groups/9fans/subscription