Agustina Arzille
2f558d4696
Fix read-side critial section management
|
1 周之前 | |
|---|---|---|
| arch | 1 周之前 | |
| doc | 6 年之前 | |
| include | 11 月之前 | |
| kern | 1 周之前 | |
| test | 2 周之前 | |
| tools | 2 月之前 | |
| vm | 1 周之前 | |
| .gdbinit | 7 年之前 | |
| .gitignore | 2 年之前 | |
| COPYING | 12 年之前 | |
| Kconfig | 2 年之前 | |
| Makefile | 3 月之前 | |
| README | 9 月之前 |
README
X15 is a free 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 should be sent to rbraun@sceen.net and/or avarzille@riseup.net.
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 should be sent to rbraun@sceen.net and/or avarzille@riseup.net.