From f8383f21f892dcfef73fcb6aaa075c07b325e024 Mon Sep 17 00:00:00 2001 From: wilkie Date: Tue, 30 Dec 2025 02:42:32 -0500 Subject: [PATCH] Adds links to other docs into docs/MAIN.md. --- docs/MAIN.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/MAIN.md b/docs/MAIN.md index aa8f64e..c666ebd 100644 --- a/docs/MAIN.md +++ b/docs/MAIN.md @@ -25,3 +25,5 @@ These operations need to be verifiable in our kernel. Applications rely on these The unanswered questions so far have to do with scheduling and preemption. For stage 1, we will have a non-preemptive single process kernel to sidestep solving these problems. + +Refer to [PROCESS](PROCESS.md) for information about processes, [MEMORY](MEMORY.md) for information about generic page manipulation primitives, [RESOURCE](RESOURCE.md) for information about higher-level page collection primitives, and [UPCALL](UPCALL.md) for information about upcall semantics.