pistachio-kernel-headers
L4 microkernel implementation - kernel headers
/Main/Debian/all/base/L4Ka::Pistachio is built from ground up incorporating the research results
of the last seven years of microkernel and multi-server research. The code
is written in C++ with a strong focus on performance and portability.
This package provides headers from the Pistachio kernel.
Info:
| Homepage: | - |
| Package version: | 0.4+20050706-2 |
| Architecture: | all |
| Distribution: | Debian |
| Filename: | pistachio-kernel-headers_0.4+20050706-2_all.deb |
Browse inside pistachio-kernel-headers_0.4+20050706-2_all.deb:
Download pistachio-kernel-headers_0.4+20050706-2_all.deb:
