[PATCH 1/3] Remove old & redundant sections.


atishp@...
 

The platform and profile specification mean different things now.
All the points specified in supervisor.adoc are already described in the
new revamped platform spec.

Remove these old specifications.

Signed-off-by: Atish Patra <atish.patra@...>
---
Makefile | 2 +-
profiles.adoc | 10 ----------
supervisor-level.adoc | 26 --------------------------
3 files changed, 1 insertion(+), 37 deletions(-)
delete mode 100644 profiles.adoc
delete mode 100644 supervisor-level.adoc

diff --git a/Makefile b/Makefile
index de5e0b0309e9..eab98e413b99 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ ASCIIDOCTOR = asciidoctor
PLATFORM_SPEC = riscv-platform-spec
PANDOC = pandoc
PARTS = changelog.adoc contributors.adoc introduction.adoc licensing.adoc \
- profiles.adoc supervisor-level.adoc user-level.adoc
+ user-level.adoc

# Build the platform spec in several formats
all: $(PLATFORM_SPEC).md $(PLATFORM_SPEC).pdf $(PLATFORM_SPEC).html
diff --git a/profiles.adoc b/profiles.adoc
deleted file mode 100644
index fdd7fc0f63cc..000000000000
--- a/profiles.adoc
+++ /dev/null
@@ -1,10 +0,0 @@
-// SPDX-License-Indentifer: CC-BY-4.0
-//
-// profiles.adoc: original Profiles content
-//
-// This is material from the very first draft of the spec.
-//
-
-## Profiles
-
-* Portable UNIX Platform Profile
diff --git a/supervisor-level.adoc b/supervisor-level.adoc
deleted file mode 100644
index 325614a05d32..000000000000
--- a/supervisor-level.adoc
+++ /dev/null
@@ -1,26 +0,0 @@
-// SPDX-License-Indentifer: CC-BY-4.0
-//
-// supervisor-level.adoc: original Supervisor Level Platform content
-//
-// This is material from the very first draft of the spec.
-//
-
-## Supervisor-Level Platform
-
-* Supervisor-mode environments must implement at least version 0.2.0 of the
- RISC-V SBI specification, which can be found at
- https://github.com/riscv/riscv-sbi-doc/blob/v0.2.0/riscv-sbi.adoc
-* Supervisor-mode environments must implement the Sv39 page-based
- virtual-memory scheme. Systems that support Sv48 must support Sv39, systems
- that support Sv57 must support Sv48, and so forth.
-* Unless otherwise specified by a given I/O device, I/O regions are at least
- point-to-point strongly ordered. All devices attached to a given PCIe root
- complex are on the same ordered channel (numbered 2 or above), though
- different root complexes might not be on the same ordering channel.
-* On RV64I-based Unix-class systems the negative virtual addresses are reserved
- for the kernel.
-* External devices (DMA engines, the debug unit, non RISC-V cores, etc) that
- are visible to RISC-V harts must appear as coherent agents, just like any
- RISC-V hart would. If additional ordering constraints are necessary for a
- device to function, those will be provided by a device-specific mechanism.
-
--
2.31.1

Join {tech-unixplatformspec@lists.riscv.org to automatically receive all group messages.