From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.5 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_PASS,URIBL_BLOCKED,USER_AGENT_MUTT autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 44347C04E53 for ; Wed, 15 May 2019 08:49:08 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 0BE742084F for ; Wed, 15 May 2019 08:49:08 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726425AbfEOItH (ORCPT ); Wed, 15 May 2019 04:49:07 -0400 Received: from mga04.intel.com ([192.55.52.120]:30853 "EHLO mga04.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725876AbfEOItH (ORCPT ); Wed, 15 May 2019 04:49:07 -0400 X-Amp-Result: UNKNOWN X-Amp-Original-Verdict: FILE UNKNOWN X-Amp-File-Uploaded: False Received: from orsmga004.jf.intel.com ([10.7.209.38]) by fmsmga104.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 May 2019 01:49:06 -0700 X-ExtLoop1: 1 Received: from jsakkine-mobl1.tm.intel.com (HELO localhost) ([10.237.50.189]) by orsmga004.jf.intel.com with ESMTP; 15 May 2019 01:49:00 -0700 Date: Wed, 15 May 2019 11:49:09 +0300 From: Jarkko Sakkinen To: Andy Lutomirski Cc: Jethro Beekman , "Xing, Cedric" , "Hansen, Dave" , Thomas Gleixner , "Dr. Greg" , Linus Torvalds , LKML , X86 ML , "linux-sgx@vger.kernel.org" , Andrew Morton , "Christopherson, Sean J" , "nhorman@redhat.com" , "npmccallum@redhat.com" , "Ayoun, Serge" , "Katz-zamir, Shay" , "Huang, Haitao" , Andy Shevchenko , "Svahn, Kai" , Borislav Petkov , Josh Triplett , "Huang, Kai" , David Rientjes Subject: Re: [PATCH v20 00/28] Intel SGX1 support Message-ID: <20190515084909.GA10043@linux.intel.com> References: <960B34DE67B9E140824F1DCDEC400C0F4E885F9D@ORSMSX116.amr.corp.intel.com> <979615a8-fd03-e3fd-fbdb-65c1e51afd93@fortanix.com> <8fe520bb-30bd-f246-a3d8-c5443e47a014@intel.com> <358e9b36-230f-eb18-efdb-b472be8438b4@fortanix.com> <960B34DE67B9E140824F1DCDEC400C0F4E886094@ORSMSX116.amr.corp.intel.com> <6da269d8-7ebb-4177-b6a7-50cc5b435cf4@fortanix.com> <20190513102926.GD8743@linux.intel.com> <20190514104323.GA7591@linux.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Organization: Intel Finland Oy - BIC 0357606-4 - Westendinkatu 7, 02160 Espoo User-Agent: Mutt/1.10.1 (2018-07-13) Sender: linux-sgx-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sgx@vger.kernel.org On Tue, May 14, 2019 at 08:13:36AM -0700, Andy Lutomirski wrote: > On Tue, May 14, 2019 at 3:43 AM Jarkko Sakkinen > wrote: > > > > On Mon, May 13, 2019 at 01:29:26PM +0300, Jarkko Sakkinen wrote: > > > I did study through SDK's file format and realized that it does not > > > does make sense after all to embed one. > > > > > > To implement it properly you would probably need a new syscall (lets say > > > sgx_load_enclave) and also that enclaves are not just executables > > > binaries. It is hard to find a generic format for them as applications > > > range from simply protecting part of an application to running a > > > containter inside enclave. > > > > I'm still puzzling what kind of changes you were discussing considering > > SGX_IOC_ENCLAVE_ADD_PAGE. > > I think it's as simple as requiring that, if SECINFO.X is set, then > the src pointer points to the appropriate number of bytes of > executable memory. (Unless there's some way for an enclave to change > SECINFO after the fact -- is there?) Sadly, we don't really have the > a nice in-kernel API for that right now. You could do > down_read(mmap_sem) and find_vma(). Arguably there is no value to > checking that PKRU allows execute to the data. OK, so you would actually go on to check whether the VMA where the data is copied contains executable data? What if SECINFO.X is not set and you EADD to region that is executable in the enclave VMA? E.g. have RWX VMA for the enclave just to give a simple example. Then you could carry executable code in the data sections of the binary. /Jarkko