genode/base-codezero
2013-02-20 19:30:07 +01:00
..
config
doc
etc
include Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
lib Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
mk Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
patches
run
src base-codezero: initialize 'exregs_data' objects 2013-02-20 19:30:07 +01:00
tool
Makefile Firewall-friendly download methods for contrib src 2012-10-30 12:12:42 +01:00
README

This repository contains the port of Genode to the Codezero microkernel
For instructions about using Genode with Codezero, please refer to
'doc/codezero.txt'.