summaryrefslogtreecommitdiff
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
commit4df83ae826c782bf557418d780b041a0a86e9799 (patch)
tree360db4c84e9e5eb925ead452603575aac19b93ed
parent07aaf48ea9e61b5c75065cbccf9bfd40c581e69c (diff)
README: minor changes
Mention the intro man page. Simplify bug reports instructions.
-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.