README 410 B

1234567891011
  1. X15 is an open source real-time microkernel intended to provide a performant
  2. and scalable environment for cache-coherent multiprocessor machines.
  3. The doc/intro.9.txt file is the starting page of the kernel manual, where
  4. more information about building the kernel, the programming interfaces, or
  5. the coding style, can be found.
  6. See https://www.sceen.net/x15/.
  7. Bug reports should be sent to rbraun@sceen.net.