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 | 8341578072e8e29f5bf2bde41216ffd100063644 (patch) | |
tree | 360db4c84e9e5eb925ead452603575aac19b93ed /README | |
parent | a879a8343a20cbfc378a2f8b2e2389034fd88f18 (diff) |
README: minor changes
Mention the intro man page. Simplify bug reports instructions.
Diffstat (limited to 'README')
-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. |