On Fri, 2011-09-02 at 14:16 +0200, Norman Feske wrote:
> Dear Codezero community,
>
> we have recently released a new version of the Genode OS Framework [1],
> which is a feature-rich userland that can be used on various
> microkernels - including Codezero. For this release, our Codezero
> support
Hello again,
I was made aware about some files that are apparently missing from the
archive of our current release. If you like to give Genode on Codezero a
spin, please use the latest version as found at our Subversion repository:
http://genode.org/download/subversion-repository
Please excuse
Dear Codezero community,
we have recently released a new version of the Genode OS Framework [1],
which is a feature-rich userland that can be used on various
microkernels - including Codezero. For this release, our Codezero
support underwent a major upgrade, thereby, making the use of the kernel
w
