summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2017-09-24 00:33:36 +0200
committerRichard Braun <rbraun@sceen.net>2017-09-24 00:36:41 +0200
commit8341578072e8e29f5bf2bde41216ffd100063644 (patch)
tree360db4c84e9e5eb925ead452603575aac19b93ed /README
parenta879a8343a20cbfc378a2f8b2e2389034fd88f18 (diff)
README: minor changes
Mention the intro man page. Simplify bug reports instructions.
Diffstat (limited to 'README')
-rw-r--r--README7
1 files changed, 5 insertions, 2 deletions
diff --git a/README b/README
index 45014ec5..57d5edef 100644
--- a/README
+++ b/README
@@ -1,7 +1,10 @@
X15 is an open source real-time microkernel intended to provide a performant
and scalable environment for cache-coherent multiprocessor machines.
+The doc/intro.9.txt file is the starting page of the kernel manual, where
+more information about building the kernel, the programming interfaces, or
+the coding style, can be found.
+
See https://www.sceen.net/x15/.
-Bug reports relating to this distribution should be sent to
-rbraun@sceen.net.
+Bug reports should be sent to rbraun@sceen.net.