Received: by 10.223.164.202 with SMTP id h10csp5438325wrb; Tue, 21 Nov 2017 09:42:28 -0800 (PST) X-Google-Smtp-Source: AGs4zMb4Pg8wdVyywvkyj1Hy5TmLW6nruoMuzgJVqWmI7+6Yj63yTnqe+ujMtNDrNFhCVY4AQWRG X-Received: by 10.84.247.137 with SMTP id o9mr18664477pll.148.1511286147832; Tue, 21 Nov 2017 09:42:27 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1511286147; cv=none; d=google.com; s=arc-20160816; b=Kw36W8VwOnVnOnQnh8vVvrWnJ92oaA+PwcU31Y5sCaCIEYnbvCCLgMWPxJpTo/VZ0K i++AwX4tQrfJvQNykIa6dThX2Kbl4H8GvMCKAGxmh07f0D/0qM2B3V19er9vFNeKBoRh Y+d6qHCSlynrS2VtVR9S6knM0fu2hw5cmNpLTa7RSX2z+oPauK+ItmVmMpyZcmsMjKLg ZbGv7N+FK+m1RBJK6CQpTYSQKz1VA0Ab73GZ/cxyUrurMcGiNxCPDT3hyJMGMo6cVSxr gqS2rmH++yWnX2bay+sh9X4OKdLVRhWQaHhJWe1cQvHTsBUvigSctGnzVreIMDO72RgO ezvw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :message-id:to:from:cc:in-reply-to:subject:date :arc-authentication-results; bh=S/HeW+xzf6jA7o6YcvWm65hhRD5xrPcNOvgEFCV1EMA=; b=E48aSjFAydneH/P47vvd4SLsWarD76qYEpKZhtXPb/9rwjUBzF67Dig5JtNHjuL0dt ONrT0SNT3nUEcfNdD6baR8GDninKKuKgs3KtO0E/r1jl05hc9JE2jN+/w+Stm2bEzPdZ sFZm2tzyPHzigRFT2HBPjvWt3BSQKCgMHyhrcdCBCW30OeCoB+o7TnO4jag5mkHgeaQX 9K3DqzMb9z0AyQYNf0nthVpqYeJNk2TxOwE5NcXQrg71Z0oVuckLGcVIi0HD+9TikoLj w+h2P/2MHsxl18u0xZ0KKyhAncggZBV4fsyg2joLJT3kXcuQG3+d9Nrpzwx9zjEXGSQB 3HcQ== ARC-Authentication-Results: i=1; mx.google.com; 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 Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id h69si12471027pfk.114.2017.11.21.09.42.16; Tue, 21 Nov 2017 09:42:27 -0800 (PST) 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; 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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751384AbdKURlU (ORCPT + 75 others); Tue, 21 Nov 2017 12:41:20 -0500 Received: from mail-pf0-f172.google.com ([209.85.192.172]:41249 "EHLO mail-pf0-f172.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751346AbdKURlR (ORCPT ); Tue, 21 Nov 2017 12:41:17 -0500 Received: by mail-pf0-f172.google.com with SMTP id j28so10325514pfk.8 for ; Tue, 21 Nov 2017 09:41:17 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:subject:in-reply-to:cc:from:to:message-id :mime-version:content-transfer-encoding; bh=S/HeW+xzf6jA7o6YcvWm65hhRD5xrPcNOvgEFCV1EMA=; b=fBBiW8fQW+km0squ8rG8bgCTlLV/JtadIPvbzJmOku6aRHRihSaZElXLHGOvfcCE2n R95Aw3x6aNUmIb5zWsEmUcno5TSbXf86sDzCN8DlhQlIRjcCZLavhpfdue0Rn2xHCH3H K+lic6SOL5G3V8vTbf07nItZSjRZPWlu0zG08FA1kdck25Vk+RqQElCxRcfvsvbQFfxR FGHbIBca1wP1DqFxvlcn89jrvMWK7TJdElQUgvutpdbETx/HvX/9so65w30zWfMOhj5P +0OYSNhfCZM5R/ZgzzCxDCfvr/76otfVTTiWSfBpTtpenKcZmUjO9rbCbswKD5Ci5ANb D8aA== X-Gm-Message-State: AJaThX7hwlCR4nWp8WTiVEE1I8KNO180tEKHz4xNSwlvjIJ+z4WAaMnu mNnuX8fgekB2ohNLupsH20sAjl6JMOI= X-Received: by 10.84.234.135 with SMTP id n7mr17534884plk.298.1511286076529; Tue, 21 Nov 2017 09:41:16 -0800 (PST) Received: from localhost ([12.206.222.5]) by smtp.gmail.com with ESMTPSA id b2sm19013725pgt.14.2017.11.21.09.41.15 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 21 Nov 2017 09:41:15 -0800 (PST) Date: Tue, 21 Nov 2017 09:41:15 -0800 (PST) X-Google-Original-Date: Tue, 21 Nov 2017 09:41:05 PST (-0800) Subject: Re: [patches] Re: [PATCH] dt-bindings: Add a RISC-V SBI firmware node In-Reply-To: <20171121010843.4nmndskaoslqcyyh@latitude> CC: patches@groups.riscv.org, j.neuschaefer@gmx.net, mark.rutland@arm.com, robh+dt@kernel.org, devicetree@vger.kernel.org, linux-kernel@vger.kernel.org From: Palmer Dabbelt To: j.neuschaefer@gmx.net Message-ID: Mime-Version: 1.0 (MHng) Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, 20 Nov 2017 17:08:44 PST (-0800), j.neuschaefer@gmx.net wrote: > On Mon, Nov 20, 2017 at 01:28:01PM -0800, Palmer Dabbelt wrote: >> > > @@ -0,0 +1,20 @@ >> > > +RISC-V Supervisor Binary Interface (SBI) >> > > + >> > > +The RISC-V privileged ISA specification mandates the presence of a supervisor >> > > +binary interface that performs some operations which might otherwise require >> > > +particularly complicated instructions. This interface includes >> > > +inter-processor interrupts, TLB flushes, i-cache and TLB shootdowns, a >> > > +console, and power management. >> > > + >> > > +Required properties: >> > > +- compatible: must contain one of the following >> > > + * "riscv,sbi" for the SBI defined by the privileged specification of the >> > > + system. >> > >> > "of the system" seems to imply that different RISC-V systems (different >> > RISC-V implementations) can have different privileged specifications. >> >> Actually, that was intentional -- I wrote it this way because different >> RISC-V systems do have different privileged specifications. The RISC-V >> specifications aren't frozen in time, they're just guaranteed to be >> compatible in the future. For example, the user ISA document has been >> updated multiple times (the C spec, eliminating some unspecified behavior) >> and will continue to be updated (V and other extensions, the memory model). >> The privileged spec will be updated in a compatible way just like the user >> spec will be -- I know there's at least hypervisor support in the works, and >> I saw some things to remove undefined behavior go past as well. >> >> In a similar fashion, the ABI and SBI will continue to evolve. For example, >> we'll probably add new system calls to extend the user ABI and new hyper >> calls to extend the SBI. > > My problem with the wording was that the OS somehow has to know which > version and variant of the SBI it is talking to -- either through > in-band communication (an SBI call to request SBI information, etc.), or > through devicetree or similar mechanisms. The idea here is that rather than checking for a version of the SBI, you just check for various features as you need them. From 1584698095409502510@xxx Tue Nov 21 17:37:52 +0000 2017 X-GM-THRID: 1584615981624343565 X-Gmail-Labels: Inbox,Category Forums,HistoricalUnread