Received: by 2002:a25:4158:0:0:0:0:0 with SMTP id o85csp3986093yba; Mon, 29 Apr 2019 11:46:25 -0700 (PDT) X-Google-Smtp-Source: APXvYqwl31nILlnuOt+5JdjRwICKsUBTEn72MJ+5v76ezFkYWvsrPpiGis3KG4ogFIv/fWKAKIay X-Received: by 2002:a62:2687:: with SMTP id m129mr20300279pfm.204.1556563585703; Mon, 29 Apr 2019 11:46:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1556563585; cv=none; d=google.com; s=arc-20160816; b=IeFIBm6buZD14CrSnF0lg7QUoYLPaC34Jz0T1oQcdPGARoNTjrd2btG0N9QrRStoEI VuwORgcxMkDVfxS4I2kLiU+2Qh/l5FBlNZoLozcYa/ZNTvgT/U1AlTczooUHKYhH4dOt ndT/aNABZy4ulW0TIQJmC4KRp29VEMa/hDtl+y0Z9/3enwIiiF6x1CkTerVgCu3akjy6 CbQHZmmT4F+GnligAZogENklcGHqclsRVLbLhlMqwp53Mb+CxsrtJumraBhfeFGTqNpV xrEtktVI8EiBg3IWLlzprNPW7BN4VvUoJBqkmp1QANENJrJzLRnVpjamxSsN871liDgh 4Lgg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=14Q54mxaAFYbQZRoOXRQB3siUXrELeCo5kBqUg6u0YI=; b=pRAkP3Ojxn2hX+APXWNGpq5DDCjMvPslBZsPvAo0RGQP7esikANyug+HItAFX5GZ7y 4dB4YSaXoE2PMbi251YVKgIP/lgIcNZOvIYd3GD/aFkVz4CyV5Ku1vOKv95apEWWCxBt h3bTmsZ0aluG2IsZl1//CtjceItJOFaKoiXPUVjGJS5qUkm6i9X2HcEDCAATU7AOr7yE Zhu8vr2qXpAW+5fwvgrvD+k/Ra7+VhIC6JX6H0eUMdYC7IoflK6d6z4kuatK/1nADQQd Qh9Pdh6mr8EcSmjaPN2SpSLeQWNSQkukwN0TnZF0wqopjhWl2/1IGlsUqcFL65cRcv1f KyTw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=Ild4RLQx; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id m64si5259985pfm.188.2019.04.29.11.46.10; Mon, 29 Apr 2019 11:46:25 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=Ild4RLQx; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729224AbfD2Sne (ORCPT + 99 others); Mon, 29 Apr 2019 14:43:34 -0400 Received: from mail.kernel.org ([198.145.29.99]:47152 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1729003AbfD2Snd (ORCPT ); Mon, 29 Apr 2019 14:43:33 -0400 Received: from mail-wm1-f49.google.com (mail-wm1-f49.google.com [209.85.128.49]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 104832182B for ; Mon, 29 Apr 2019 18:43:33 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1556563413; bh=TYbYR6xdiAT33fFeBDJqUP8mpRliL4fUyIr32o3R6Ao=; h=References:In-Reply-To:From:Date:Subject:To:Cc:From; b=Ild4RLQx9rtlOvTMTH/a2NOZwv2KhSkHHDSs0/ztbX9IjEWNeAvPTIQTDmmrTUpaP P/Jlymb7EAxnHAX7dIW4dLamRL85KAqgyYJcADejzz0al8WIhPxUz7QWocmNVaz1IN d+Gx835qgvYw2xFHS1KphzxoLeAN69ShA+e9NJA0= Received: by mail-wm1-f49.google.com with SMTP id y197so601104wmd.0 for ; Mon, 29 Apr 2019 11:43:33 -0700 (PDT) X-Gm-Message-State: APjAAAWafbqGynmchb9oIYlAwPfic9MepRIUdq5ttSAUPO4oBgr481/p kH3FYCDNRzuKfdASlrTeOxPUsQzsCxAmWGgKjHeQAg== X-Received: by 2002:a7b:c844:: with SMTP id c4mr331867wml.108.1556563411667; Mon, 29 Apr 2019 11:43:31 -0700 (PDT) MIME-Version: 1.0 References: <1556228754-12996-1-git-send-email-rppt@linux.ibm.com> <1556228754-12996-3-git-send-email-rppt@linux.ibm.com> <20190426083144.GA126896@gmail.com> <20190426095802.GA35515@gmail.com> <20190427084752.GA99668@gmail.com> <20190427104615.GA55518@gmail.com> In-Reply-To: From: Andy Lutomirski Date: Mon, 29 Apr 2019 11:43:20 -0700 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: [RFC PATCH 2/7] x86/sci: add core implementation for system call isolation To: James Morris Cc: Ingo Molnar , Andy Lutomirski , Mike Rapoport , LKML , Alexandre Chartre , Borislav Petkov , Dave Hansen , "H. Peter Anvin" , Ingo Molnar , James Bottomley , Jonathan Adams , Kees Cook , Paul Turner , Peter Zijlstra , Thomas Gleixner , Linux-MM , LSM List , X86 ML , Linus Torvalds , Peter Zijlstra , Andrew Morton Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Apr 29, 2019 at 11:27 AM James Morris wrote: > > On Sat, 27 Apr 2019, Ingo Molnar wrote: > > > - A C language runtime that is a subset of current C syntax and > > semantics used in the kernel, and which doesn't allow access outside > > of existing objects and thus creates a strictly enforced separation > > between memory used for data, and memory used for code and control > > flow. > > Might be better to start with Rust. > I think that Rust would be the clear winner as measured by how fun it sounds :)