| Message ID | 20250114185707.3376960-1-ayan.kumar.halder@amd.com (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | docs: fusa: Fix OFT tags for the design requirements | expand |
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 >
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
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(-)