Skip to content

Update HSOC_020 to clarify peripherals#95

Merged
jones-drew merged 1 commit intoriscv-non-isa:mainfrom
ved-rivos:peripherals
Sep 30, 2025
Merged

Update HSOC_020 to clarify peripherals#95
jones-drew merged 1 commit intoriscv-non-isa:mainfrom
ved-rivos:peripherals

Conversation

@ved-rivos
Copy link
Collaborator

No description provided.

| `HSOC_020` | All SoC peripherals that are intended by the platform design to
be assignable to a virtual machine or exposed to a user-space device driver MUST be
PCIe devices or comply with the rules for SoC-integrated PCIe devices (cite:[ServerSoC], Section 2.4).
2+| _This rule does not apply to components such as:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How about

This rule does not apply to components not typically intended by the platform for virtual machine or user-space assignment such as:
...

since I think the point of the list is to be examples of non-assignable devices, rather than assignable-devices that may be exempted from the rule.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also need "a" to the cell properties to get the unordered list to render correctly, which then also requires changing how the italics are created. The final result of my suggestions are

diff --git a/server_platform_requirements.adoc b/server_platform_requirements.adoc
index 2b53c537f4a1..4ae907d33a74 100644
--- a/server_platform_requirements.adoc
+++ b/server_platform_requirements.adoc
@@ -114,8 +114,18 @@ in this section apply solely to harts in the application processors of the SoC.
 |===
 | ID#      ^| Rule
 | `HSOC_010`  | RISC-V SoCs MUST comply with the Server SoC v1.0 specification cite:[ServerSoC].
-| `HSOC_020`  | All peripherals that are intended for assignment to a VM or a user space device driver MUST be
-PCIe devices or be compliant to rules for SoC-integrated PCIe devices (cite:[ServerSoC], Section 2.4).
+| `HSOC_020`  | All SoC peripherals that are intended by the platform design to
+be assignable to a virtual machine or exposed to a user-space device driver MUST be
+PCIe devices or comply with the rules for SoC-integrated PCIe devices (cite:[ServerSoC], Section 2.4).
+2+a| _This rule does not apply to components not typically intended by the platform
+     for virtual machine or user-space assignment such as:_
+
+     * _Interrupt controllers (e.g., APLIC)._
+     * _IOMMUs._
+     * _Debug modules, trace control blocks, RAS banks, and performance
+       monitoring units._
+     * _Controllers, including the root of trust (RoT) controllers,
+       power management controllers, and other SoC management controllers._
 |===
 
 === Peripherals

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@jones-drew updated.

@jones-drew jones-drew merged commit 8b66c25 into riscv-non-isa:main Sep 30, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants