1. Patchew
  2. Xen
  3. View series

[PATCH] docs: fusa: Fix OFT tags for the design requirements

Ayan Kumar Halder posted 1 patch 1 year ago
Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/20250114185707.3376960-1-ayan.kumar.halder@amd.com
.../reqs/design-reqs/arm64/generic-timer.rst  | 16 +++++-----
.../fusa/reqs/design-reqs/arm64/sbsa-uart.rst | 30 +++++++++----------
2 files changed, 23 insertions(+), 23 deletions(-)
[PATCH] docs: fusa: Fix OFT tags for the design requirements
Posted by Ayan Kumar Halder 1 year ago 
The OFT tags for the design requirements are updated.

Fixes: b9f9b396452 ("docs: fusa: Add dom0less domain configuration requirements")
Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@amd.com>
---
 .../reqs/design-reqs/arm64/generic-timer.rst  | 16 +++++-----
 .../fusa/reqs/design-reqs/arm64/sbsa-uart.rst | 30 +++++++++----------
 2 files changed, 23 insertions(+), 23 deletions(-)

diff --git a/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst b/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst
index 9d2a5a8085..745e755638 100644
--- a/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst
+++ b/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst
@@ -21,7 +21,7 @@ Comments:
 Domains can detect the presence of the Generic Timer device tree node.
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Read system counter frequency
 -----------------------------
@@ -37,7 +37,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Access CNTKCTL_EL1 system register from a domain
 ------------------------------------------------
@@ -53,7 +53,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Access virtual timer from a domain
 ----------------------------------
@@ -69,7 +69,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Access physical timer from a domain
 -----------------------------------
@@ -85,7 +85,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Trigger the virtual timer interrupt from a domain
 -------------------------------------------------
@@ -101,7 +101,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Trigger the physical timer interrupt from a domain
 --------------------------------------------------
@@ -117,7 +117,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 Assumption of Use on the Platform
 =================================
@@ -139,7 +139,7 @@ While there is a provision to get this value by reading the "clock-frequency"
 dt property [2], the use of this property is strongly discouraged.
 
 Covers:
- - `XenProd~emulated_timer~1`
+ - `XenProd~arm64_emulated_timer~1`
 
 [1] Arm Architecture Reference Manual for A-profile architecture, Chapter 11
 [2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/timer/arm,arch_timer.yaml
diff --git a/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst b/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst
index 89598fa8a5..9aaf081f16 100644
--- a/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst
+++ b/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst
@@ -21,7 +21,7 @@ Comments:
 Domains can detect the presence of the SBSA UART device tree node.
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Transmit data in software polling mode
 --------------------------------------
@@ -36,7 +36,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Transmit data in interrupt driven mode
 --------------------------------------
@@ -51,7 +51,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Receive data in software polling mode
 -------------------------------------
@@ -66,7 +66,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Receive data in interrupt driven mode
 -------------------------------------
@@ -81,7 +81,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART data register
 -------------------------
@@ -96,7 +96,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART receive status register
 -----------------------------------
@@ -111,7 +111,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART flag register
 -------------------------
@@ -126,7 +126,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART mask set/clear register
 -----------------------------------
@@ -141,7 +141,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART raw interrupt status register
 -----------------------------------------
@@ -156,7 +156,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART masked interrupt status register
 --------------------------------------------
@@ -171,7 +171,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Access UART interrupt clear register
 ------------------------------------
@@ -186,7 +186,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Receive UART TX interrupt
 -------------------------
@@ -202,7 +202,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 Receive UART RX interrupt reception
 -----------------------------------
@@ -218,7 +218,7 @@ Rationale:
 Comments:
 
 Covers:
- - `XenProd~emulated_uart~1`
+ - `XenProd~arm64_emulated_uart~1`
 
 [1] Arm Base System Architecture, chapter B
-[2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/serial/arm_sbsa_uart.txt
\ No newline at end of file
+[2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/serial/arm_sbsa_uart.txt
-- 
2.25.1
Re: [PATCH] docs: fusa: Fix OFT tags for the design requirements
Posted by Stefano Stabellini 1 year ago 
On Tue, 14 Jan 2025, Ayan Kumar Halder wrote:
> The OFT tags for the design requirements are updated.
> 
> Fixes: b9f9b396452 ("docs: fusa: Add dom0less domain configuration requirements")
> Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@amd.com>


Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>


> ---
>  .../reqs/design-reqs/arm64/generic-timer.rst  | 16 +++++-----
>  .../fusa/reqs/design-reqs/arm64/sbsa-uart.rst | 30 +++++++++----------
>  2 files changed, 23 insertions(+), 23 deletions(-)
> 
> diff --git a/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst b/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst
> index 9d2a5a8085..745e755638 100644
> --- a/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst
> +++ b/docs/fusa/reqs/design-reqs/arm64/generic-timer.rst
> @@ -21,7 +21,7 @@ Comments:
>  Domains can detect the presence of the Generic Timer device tree node.
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Read system counter frequency
>  -----------------------------
> @@ -37,7 +37,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Access CNTKCTL_EL1 system register from a domain
>  ------------------------------------------------
> @@ -53,7 +53,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Access virtual timer from a domain
>  ----------------------------------
> @@ -69,7 +69,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Access physical timer from a domain
>  -----------------------------------
> @@ -85,7 +85,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Trigger the virtual timer interrupt from a domain
>  -------------------------------------------------
> @@ -101,7 +101,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Trigger the physical timer interrupt from a domain
>  --------------------------------------------------
> @@ -117,7 +117,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  Assumption of Use on the Platform
>  =================================
> @@ -139,7 +139,7 @@ While there is a provision to get this value by reading the "clock-frequency"
>  dt property [2], the use of this property is strongly discouraged.
>  
>  Covers:
> - - `XenProd~emulated_timer~1`
> + - `XenProd~arm64_emulated_timer~1`
>  
>  [1] Arm Architecture Reference Manual for A-profile architecture, Chapter 11
>  [2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/timer/arm,arch_timer.yaml
> diff --git a/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst b/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst
> index 89598fa8a5..9aaf081f16 100644
> --- a/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst
> +++ b/docs/fusa/reqs/design-reqs/arm64/sbsa-uart.rst
> @@ -21,7 +21,7 @@ Comments:
>  Domains can detect the presence of the SBSA UART device tree node.
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Transmit data in software polling mode
>  --------------------------------------
> @@ -36,7 +36,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Transmit data in interrupt driven mode
>  --------------------------------------
> @@ -51,7 +51,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Receive data in software polling mode
>  -------------------------------------
> @@ -66,7 +66,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Receive data in interrupt driven mode
>  -------------------------------------
> @@ -81,7 +81,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART data register
>  -------------------------
> @@ -96,7 +96,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART receive status register
>  -----------------------------------
> @@ -111,7 +111,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART flag register
>  -------------------------
> @@ -126,7 +126,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART mask set/clear register
>  -----------------------------------
> @@ -141,7 +141,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART raw interrupt status register
>  -----------------------------------------
> @@ -156,7 +156,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART masked interrupt status register
>  --------------------------------------------
> @@ -171,7 +171,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Access UART interrupt clear register
>  ------------------------------------
> @@ -186,7 +186,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Receive UART TX interrupt
>  -------------------------
> @@ -202,7 +202,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  Receive UART RX interrupt reception
>  -----------------------------------
> @@ -218,7 +218,7 @@ Rationale:
>  Comments:
>  
>  Covers:
> - - `XenProd~emulated_uart~1`
> + - `XenProd~arm64_emulated_uart~1`
>  
>  [1] Arm Base System Architecture, chapter B
> -[2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/serial/arm_sbsa_uart.txt
> \ No newline at end of file
> +[2] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/devicetree/bindings/serial/arm_sbsa_uart.txt
> -- 
> 2.25.1
>

Patchew 2.1-devel-b67e4c2

© 2016 - 2026 Red Hat, Inc.