[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v2 2/2] docs: fusa: Add the requirements for some of the commands of XEN_VERSION


  • To: Ayan Kumar Halder <ayan.kumar.halder@xxxxxxx>
  • From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
  • Date: Thu, 27 Feb 2025 17:17:33 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=lists.xenproject.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=arm.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dkim=[1,1,header.d=arm.com] dmarc=[1,1,header.from=arm.com])
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
  • Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=wHM2oYanjrMC9McfUk2XdL4TxpRk35Y0gcT+eaaPhwc=; b=jG1YVp7zbrEuA+G7CZ/1FRkZpst3bB65+scS6zODQQM1H510UnsWUiM6SDUXgTfDHUYOp0zKVcVMIf2/TyQsoGO1Bzn6fH+qvg53EP8bjX+WIzh7MjIPaR+bNA4jH7RrNmIXpljCt8HaoFMm11lI7wQ5n7H/H4mygGAtOSflY2hx6Bnjxlhwl68chuoeeeKsYmvrikvq07tXLRFXrROMf/9//X0iIaCDNFRKhf+WzRUa6BZ4QfsWyjrn3JkE0XhF4th0pvlk9BPuy0h5AMMv8DD+EKh+JSU6Qk2rv04lIHhflsscQ8+pbOuTE5kJ/0pkuo0cIorccWUCq/6T5PnhsQ==
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=wHM2oYanjrMC9McfUk2XdL4TxpRk35Y0gcT+eaaPhwc=; b=s3s6tripB97B4Wt+Ksp2WbxAlC+82mTjTVV7D+Pceb9YAUYaU2JKKx0PbzOCHGNQfvf11rVJD5cJnRotLJ2JWi3digXyfc1GrO/2/yL2OAyicmONshTJSdXcmMxiGQViGGHHVxWQn+9k4ZrqIT1AU5BsKyT2JxO/4mfMxoJWG9hdnfmIVsL2Ta/q/vRJWjCnK8xhxp+TC1edjraWhqH/VGduGMOxxpXhyGid7nuheJLJzEm591B6s4vdZljuCd3Nq91S0Obj37yXxyMOJS7X1Dzydq1hImaKSMzZDAW/EAx5Eo2/SUZ7iQ48ScooCHLqySG/pnnwHEjIlDtCwcbCMA==
  • Arc-seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=h81RCd7DyeJJ+IgRxEK/eIdG7xNHU3qW2i+hnKgHCnlt25WH0MCu0s3lwRWTNkU1jKRQJwVL5eeYWVfHKLGNTZJrMAB1OhvqjHneI+VUpOWvxGgTGTjs1nTAWN77rZITX6vdEVto3oez/PtCl6CApwbRw3V2NGe1poGT/BXLFyfLYo5Z8ngrG9IDva14lCMhwbkZzXgpXmdpmPSyX98AJBsVG5/d6x0rdb8YnEq7PTJ8t6zzIRf0ihJT1Z/LFGLrK26djYUUpyjhK+7o6ByRAru7Z6iP1Us8ESiE+nxiDSNTmgNhSSi6V7mIUBSx7D8kONQLnbyOFGmcnumBdaWHyQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=FOckGJURF4U35fn+U1Q2IMSrd9RpJN4eh4ycZc45ZBv496+ioeV/l1b95wULZ1kDZXlrwpkYA9ZvBgjqw3PkDWUw/v6fwwb/w3IdxtG87I6NJuAQ1vjbIncLBa/vCiNZ+gJ81FlvDFrDObokushYfkr+86Ra/I1KgsHYmS2SxrfocCGIsUTBbir6EjaJvv6F4m50jEORW96lg9Zjkvp7sNlVK7esijPcnHG4uiMJhe7DOaB8gICgKT0zFCszHtCNKFoVeGPhZBapJRRPKHdsDYQ9vXQIv0dFcyzzFRrp6IZKTQuGZXvpP5P24Wqhz2qQCaKNveaWpfSsPLRO3YCjTw==
  • Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Cc: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Artem Mygaiev <artem_mygaiev@xxxxxxxx>
  • Delivery-date: Thu, 27 Feb 2025 17:17:50 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Nodisclaimer: true
  • Original-authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Thread-index: AQHbiSnNfU4QhVvjzkSlPRDbzXvNFrNbZJkA
  • Thread-topic: [PATCH v2 2/2] docs: fusa: Add the requirements for some of the commands of XEN_VERSION

Hi Ayan,

> On 27 Feb 2025, at 16:09, Ayan Kumar Halder <ayan.kumar.halder@xxxxxxx> wrote:
> 
> We have written the requirements for some of the commands of the XEN_VERSION
> hypercall.
> 
> Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@xxxxxxx>
> ---
> Changes from -
> 
> v1 - 1. Reworded the requirement so as to avoid mentioining variable names
> or hardcoded strings. Otherwise, one would need to change the requirement
> each time the code changes.
> 
> .../fusa/reqs/design-reqs/arm64/hypercall.rst |  6 +-
> .../design-reqs/arm64/version_hypercall.rst   | 34 ++++++++
> .../reqs/design-reqs/version_hypercall.rst    | 65 +++++++++++++++
> docs/fusa/reqs/index.rst                      |  2 +
> .../reqs/product-reqs/version_hypercall.rst   | 83 +++++++++++++++++++
> 5 files changed, 187 insertions(+), 3 deletions(-)
> create mode 100644 docs/fusa/reqs/design-reqs/arm64/version_hypercall.rst
> create mode 100644 docs/fusa/reqs/design-reqs/version_hypercall.rst
> 
> diff --git a/docs/fusa/reqs/design-reqs/arm64/hypercall.rst 
> b/docs/fusa/reqs/design-reqs/arm64/hypercall.rst
> index ffd883260c..b6f99af023 100644
> --- a/docs/fusa/reqs/design-reqs/arm64/hypercall.rst
> +++ b/docs/fusa/reqs/design-reqs/arm64/hypercall.rst
> @@ -28,8 +28,8 @@ Parameters
> `XenSwdgn~arm64_hyp_param~1`
> 
> Description:
> -Xen shall use x0 to read the first parameter, x1 for second parameter and so
> -on, for domain hypercall requests.
> +Xen shall use the first register to read the first parameter, second register
> +for second parameter and so on, for domain hypercall requests.
> 
> Rationale:
> 
> @@ -45,7 +45,7 @@ Return value
> `XenSwdgn~arm64_ret_val~1`
> 
> Description:
> -Xen shall store the return value in x0 register.
> +Xen shall store the return value in first register.


It seems that those changes should be in the previous patch directly.

With that fixed:

Reviewed-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>

Cheers
Bertrand

> 
> Rationale:
> 
> diff --git a/docs/fusa/reqs/design-reqs/arm64/version_hypercall.rst 
> b/docs/fusa/reqs/design-reqs/arm64/version_hypercall.rst
> new file mode 100644
> index 0000000000..3aa12ea2c2
> --- /dev/null
> +++ b/docs/fusa/reqs/design-reqs/arm64/version_hypercall.rst
> @@ -0,0 +1,34 @@
> +.. SPDX-License-Identifier: CC-BY-4.0
> +
> +Capabilities
> +------------
> +
> +`XenSwdgn~arm64_capabilities~1`
> +
> +Description:
> +Xen shall have an internal constant string to denote that the cpu is running
> +in arm64 mode.
> +
> +Rationale:
> +
> +Comments:
> +
> +Covers:
> + - `XenProd~version_hyp_capabilities_cmd~1`
> +
> +Capabilities AArch32
> +--------------------
> +
> +`XenSwdgn~arm64_capabilities_aarch32~1`
> +
> +Description:
> +Xen shall have a internal constant string to denote that the cpu is running 
> in
> +arm32 mode.
> +
> +Rationale:
> +
> +Comments:
> +
> +Covers:
> + - `XenProd~version_hyp_capabilities_cmd~1`
> +
> diff --git a/docs/fusa/reqs/design-reqs/version_hypercall.rst 
> b/docs/fusa/reqs/design-reqs/version_hypercall.rst
> new file mode 100644
> index 0000000000..edc5672e83
> --- /dev/null
> +++ b/docs/fusa/reqs/design-reqs/version_hypercall.rst
> @@ -0,0 +1,65 @@
> +.. SPDX-License-Identifier: CC-BY-4.0
> +
> +Version
> +-------
> +
> +`XenSwdgn~version~1`
> +
> +Description:
> +Xen shall have a internal constant (XEN_VERSION) storing the version number
> +coming from the Makefile.
> +
> +Rationale:
> +
> +Comments:
> +
> +Covers:
> + - `XenProd~version_hyp_version_cmd~1`
> +
> +Subversion
> +----------
> +
> +`XenSwdgn~subversion~1`
> +
> +Description:
> +Xen shall have a internal constant (XEN_SUBVERSION) storing the sub version
> +number coming from the Makefile.
> +
> +Rationale:
> +
> +Comments:
> +
> +Covers:
> + - `XenProd~version_hyp_version_cmd~1`
> +
> +Extraversion
> +------------
> +
> +`XenSwdgn~extraversion~1`
> +
> +Description:
> +Xen shall have a internal constant (XEN_EXTRAVERSION) storing the 
> extraversion
> +coming from the build environment.
> +
> +Rationale:
> +
> +Comments:
> +
> +Covers:
> + - `XenProd~version_hyp_extraversion_cmd~1`
> +
> +Changeset
> +---------
> +
> +`XenSwdgn~changeset~1`
> +
> +Description:
> +Xen shall have a internal constant string (XEN_CHANGESET) storing the date,
> +time and git hash of the last change made to Xen's codebase.
> +
> +Rationale:
> +
> +Comments:
> +
> +Covers:
> + - `XenProd~version_hyp_changeset_cmd~1`
> diff --git a/docs/fusa/reqs/index.rst b/docs/fusa/reqs/index.rst
> index d8683edce7..b85af19d19 100644
> --- a/docs/fusa/reqs/index.rst
> +++ b/docs/fusa/reqs/index.rst
> @@ -14,3 +14,5 @@ Requirements documentation
>    design-reqs/arm64/generic-timer
>    design-reqs/arm64/sbsa-uart
>    design-reqs/arm64/hypercall
> +   design-reqs/arm64/version_hypercall
> +   design-reqs/version_hypercall
> diff --git a/docs/fusa/reqs/product-reqs/version_hypercall.rst 
> b/docs/fusa/reqs/product-reqs/version_hypercall.rst
> index 03221f70c3..ae72b22556 100644
> --- a/docs/fusa/reqs/product-reqs/version_hypercall.rst
> +++ b/docs/fusa/reqs/product-reqs/version_hypercall.rst
> @@ -54,6 +54,89 @@ Rationale:
> 
> Comments:
> 
> +Covers:
> + - `XenMkt~version_hypercall~1`
> +
> +Needs:
> + - XenSwdgn
> +
> +Version command
> +---------------
> +
> +`XenProd~version_hyp_version_cmd~1`
> +
> +Description:
> +Xen shall provide a command (num 0) for  hypercall (num 17) to retrieve Xen's
> +version in the domain's register 0.
> +
> +Rationale:
> +
> +Comments:
> +Xen version is composed of major and minor number.
> +
> +Covers:
> + - `XenMkt~version_hypercall~1`
> +
> +Needs:
> + - XenSwdgn
> +
> +Extraversion command
> +--------------------
> +
> +`XenProd~version_hyp_extraversion_cmd~1`
> +
> +Description:
> +Xen shall provide a command (num 1) for hypercall (num 17) to copy its
> +extraversion in the domain's buffer.
> +
> +Rationale:
> +
> +Comments:
> +Xen's extra version consists of a string passed with 'XEN_VENDORVERSION' 
> command
> +line parameter while building Xen.
> +
> +Covers:
> + - `XenMkt~version_hypercall~1`
> +
> +Needs:
> + - XenSwdgn
> +
> +Capabilities command
> +--------------------
> +
> +`XenProd~version_hyp_capabilities_cmd~1`
> +
> +Description:
> +Xen shall provide a command (num 3) for hypercall (num 17) to copy its
> +capabilities to the domain's buffer.
> +
> +Rationale:
> +
> +Comments:
> +Capabilities related information is represented by char[1024].
> +For Arm64, the capabilities should contain "xen-3.0-aarch64" string.
> +
> +Covers:
> + - `XenMkt~version_hypercall~1`
> +
> +Needs:
> + - XenSwdgn
> +
> +Changeset command
> +-----------------
> +
> +`XenProd~version_hyp_changeset_cmd~1`
> +
> +Description:
> +Xen shall provide a command (num 4) for hypercall (num 17) to copy changeset
> +to the domain's buffer.
> +
> +Rationale:
> +
> +Comments:
> +Changeset is string denoting the date, time and git hash of the last change
> +made to Xen's codebase.
> +
> Covers:
>  - `XenMkt~version_hypercall~1`
> 
> -- 
> 2.25.1
> 




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.