Skip to content
Fetching latest commit…
Cannot retrieve the latest commit at this time.
..
Failed to load latest commit information.
config
doc
etc
include
lib/mk
mk
patches
run
src
Makefile
README

README

This repository contains the L4ka::Pistachio-specific implementation of Genode.
Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further
instructions on building and using Genode on the L4ka::Pistachio kernel.
Something went wrong with that request. Please try again.