diff options
| -rw-r--r-- | README | 6 | ||||
| -rw-r--r-- | doc/intro.9.txt | 4 |
2 files changed, 6 insertions, 4 deletions
@@ -1,5 +1,7 @@ -X15 is a free microkernel. Its purpose is to provide a foundation for a -Hurd-like operating system. +X15 is an open source microkernel. Its purpose is to provide a foundation +for a Hurd-like operating system or an embedded kernel application. + +See https://www.sceen.net/x15/. Bug reports relating to this distribution should be sent to rbraun@sceen.net. diff --git a/doc/intro.9.txt b/doc/intro.9.txt index 96b8c44..16635ad 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 the basic -foundations for an operating system or a hosted application. +X15 is an open source microkernel. Its purpose is to provide a foundation +for a Hurd-like operating system or an embedded kernel application. Section 9 of the manual describes kernel interfaces, both internal and provided to application code hosted in kernel mode. |