diff options
author | Richard Braun <rbraun@sceen.net> | 2017-09-24 00:33:36 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-09-24 00:36:41 +0200 |
commit | 4df83ae826c782bf557418d780b041a0a86e9799 (patch) | |
tree | 360db4c84e9e5eb925ead452603575aac19b93ed | |
parent | 07aaf48ea9e61b5c75065cbccf9bfd40c581e69c (diff) |
README: minor changes
Mention the intro man page. Simplify bug reports instructions.
-rw-r--r-- | README | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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. |