From d0af40c162a33cbdf9be484bf31e70b5c4066365 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Radim=20Kr=C4=8Dm=C3=A1=C5=99?= Date: Fri, 13 Dec 2024 14:20:26 +0100 Subject: [PATCH] sbi: fix citations MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit There should be no space. The current output looks like "[.citation]# [7]#" instead of the desired "[7]". Signed-off-by: Radim Krčmář --- sbi.adoc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/sbi.adoc b/sbi.adoc index 6364c79..006ee56 100644 --- a/sbi.adoc +++ b/sbi.adoc @@ -1,7 +1,7 @@ [[sbi]] == SBI Requirements -The _RISC-V Supervisor Binary Interface Specification_ (SBI) cite: [SBI] defines an interface +The _RISC-V Supervisor Binary Interface Specification_ (SBI) cite:[SBI] defines an interface between the supervisor mode and the next higher privilege mode. This section defines the mandatory SBI version and extensions implemented by the higher privilege mode in order to be compatible with this specification. @@ -21,8 +21,8 @@ Certain requirements are conditional on the presence of RISC-V ISA extensions or [%header, cols="5,25"] |=== | ID# ^| Rule -| `SBI_030` | The Timer Extension (TIME) MUST be implemented, if the RISC-V "stimecmp / vstimecmp" Extension (Sstc, cite: [Sstc]) is not available. -| `SBI_040` | The S-Mode IPI Extension (sPI) MUST be implemented, if the Incoming MSI Controller (IMSIC, cite: [Aia]) is not available. -| `SBI_050` | The RFENCE Extension (RFNC) extension MUST be implemented, if the Incoming MSI Controller (IMSIC, cite: [Aia]) is not available. -| `SBI_060` | The Performance Monitoring Extension (PMU) MUST be implemented, if the counter delegation-related S-Mode ISA extensions (Sscsrind cite: [Sscsrind] and Ssccfg cite: [Smcdeleg]) are not present. +| `SBI_030` | The Timer Extension (TIME) MUST be implemented, if the RISC-V "stimecmp / vstimecmp" Extension (Sstc, cite:[Sstc]) is not available. +| `SBI_040` | The S-Mode IPI Extension (sPI) MUST be implemented, if the Incoming MSI Controller (IMSIC, cite:[Aia]) is not available. +| `SBI_050` | The RFENCE Extension (RFNC) extension MUST be implemented, if the Incoming MSI Controller (IMSIC, cite:[Aia]) is not available. +| `SBI_060` | The Performance Monitoring Extension (PMU) MUST be implemented, if the counter delegation-related S-Mode ISA extensions (Sscsrind cite:[Sscsrind] and Ssccfg cite:[Smcdeleg]) are not present. |===