diff options
| -rw-r--r-- | static/md/srvre/kernel.md | 30 |
1 files changed, 14 insertions, 16 deletions
diff --git a/static/md/srvre/kernel.md b/static/md/srvre/kernel.md index 00dab10..f57a30e 100644 --- a/static/md/srvre/kernel.md +++ b/static/md/srvre/kernel.md @@ -7,19 +7,17 @@ The microkernel for the SRVRE riscv64 operating system. Design Goals ============ -This kernel aims to be as minimal as possible. -Resources (hardware I/O, configuration, process metadata and control, -file storage etc.) are provided via the file system whereever possible. -Security is achieved using an interactive permission system -that's inheritance-aware and only grants access to the sections of the code -that need it. Errors that are relevant for security are treated in a strict -way. The kernel only provides minimal low-level drivers for permanent hardware -such as PCI(e) or device tree items. Actual drivers run in U-mode and use -the file system to access and provide (I/O) resources under the supervision -of the aforementioned permission system. Namespacing is not planned -as the security architecture is designed to replace it. - -Details are yet to be planned and implemented. +This kernel aims to be as minimal as possible. Resources (hardware I/O, +configuration, file storage etc.) are controlled and provided by U-mode +processes using channel-based message passing. Security is achieved using an +interactive permission system (mostly handled by U-mode with the kernel only +providing essential primitives) that's inheritance-aware. Errors that are +relevant for security are treated in a strict way. The kernel only provides +minimal low-level drivers for hardware I/O and critical hardware such as the +PLIC. Actual drivers run in U-mode and use message passing to access and +provide (I/O) resources under the supervision of the aforementioned permission +system. Namespacing is not planned as the security architecture is designed to +replace it. Repositories ============ @@ -47,8 +45,8 @@ See the repository Documentation ============= -See the [wiki](/md/srvre/kernel/wiki.md). -It contains information on application development such as the various syscalls -and VFS APIs as well as usage information. +See the [wiki](/md/srvre/kernel/wiki.md). It contains information on +application development such as the various system calls and message passing +channels assignments and protocols as well as usage information. [Return to Index Page](/md/index.md) |