L4Ka::Pistachio micro-kernel
C++ C Python Assembly Objective-C TeX Shell
Latest commit 8be66aa Mar 12, 2014 @jkehne jkehne Remove dead code (closes #9)
Permalink
Failed to load latest commit information.
contrib Fix broken compatibility-mode config Dec 10, 2010
doc
kernel Remove dead code (closes #9) Mar 12, 2014
tools - Determine correct user architecture for x86 kernels Nov 9, 2007
user When defining L4_indirect in x86 syscall stub, Avoid naming struct a… Mar 14, 2012
.gitignore Add .gitignore Nov 17, 2011
.hgignore First bunch of bugfixes to UIC code. Initialization works now. Jun 23, 2010
AUTHORS Initial repository adapted to hg Jul 6, 2007
README Added README Oct 13, 2011

README

THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
SUCH DAMAGE.

L4Ka::Pistachio is the latest L4 microkernel developed by the System
Architecture Group at the University of Karlsruhe in collaboration
with the DiSy group at the University of New South Wales,
Australia. It is the first available kernel implementation of the L4
Version 4 kernel API (currently code-named Version X.2), which is
fully 32 and 64 bit clean, provides multiprocessor support, and
super-fast local IPC.