L4Ka::Pistachio micro-kernel
C HTML C++ Python Makefile Shell Other
Pull request Compare This branch is 1135 commits ahead of l4ka:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
build/kernel
contrib Fix broken compatibility-mode config Dec 10, 2010
doc Initial repository adapted to hg Jul 6, 2007
kernel Try to build on 64-bit host, after installing 32-bit LibGCC Mar 17, 2016
reference Move to reference Mar 15, 2015
tools Experimental API break, and GRUB@ May 3, 2014
user State of play Mar 19, 2016
.gitignore Update debugging presentation, and tidy source May 8, 2014
.gitmodules Import libcxxrt from https://github.com/pathscale/libcxxrt.git for po… May 10, 2014
.hgignore First bunch of bugfixes to UIC code. Initialization works now. Jun 23, 2010
AUTHORS Initial repository adapted to hg Jul 6, 2007
BadBins.tar.bz2 Temporarily add built binaries for testing, at a cost of bloating the… May 5, 2014
README Added README Oct 13, 2011
dumpbins.sh Add some local scripts May 3, 2014
local-grub.sh Experimental API break, and GRUB@ May 3, 2014
pthreads.txt

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.