diff options
| -rw-r--r-- | README | 4 | ||||
| -rw-r--r-- | doc/intro.9.txt | 17 |
2 files changed, 4 insertions, 17 deletions
@@ -1,5 +1,5 @@ -X15 is an open source microkernel. Its purpose is to provide a foundation -for a Hurd-like operating system as well as real-time kernel applications. +X15 is an open source real-time microkernel intended to provide a performant +and scalable environment for cache-coherent multiprocessor machines. See https://www.sceen.net/x15/. diff --git a/doc/intro.9.txt b/doc/intro.9.txt index e63ae9a1..dcf138a3 100644 --- a/doc/intro.9.txt +++ b/doc/intro.9.txt @@ -12,8 +12,8 @@ intro - introduction to kernel interfaces DESCRIPTION ----------- -X15 is an open source microkernel. Its purpose is to provide a foundation -for a Hurd-like operating system as well as real-time kernel applications. +X15 is an open source real-time microkernel intended to provide a performant +and scalable environment for cache-coherent multiprocessor machines. Section 9 of the manual describes kernel interfaces, both internal and provided to application code hosted in kernel mode. @@ -26,7 +26,6 @@ Among the features provided are : * <<virtual_memoru,Virtual memory>> * <<real_time,Real-time>> * <<portability,Portability>> -* <<posix_like_interface,POSIX-like interface>> Modules ~~~~~~~ @@ -271,18 +270,6 @@ dependent loads. This model closely matches the ARM family of processors. TODO Fix memory model description -[[posix_like_interface]] -POSIX-LIKE INTERFACE --------------------- - -Many of the functions provided by the kernel match well-known POSIX -interfaces. In particular, this is true for standard integer types, -memory and string functions, and multithreading. While the thread module -doesn't comply with POSIX, it was designed so that adding a lightweight -wrapper could easily be done. Users must keep in mind that the behaviour -of some interfaces are not meant to comply with POSIX regarding certain -details; they are only meant to be POSIX-like. - SEE --- |