exploring Mesa in Genode

[Jamey Sharp]

Good day all! By way of introduction: I learned about Genode because
of the recent release's experimental support for seL4. Then I noticed
that one of the open challenges is to implement a better architecture
for direct-rendered 3D. I've been hacking on X for years and wanting
to play with 3D on a microkernel, so now I'm trying to figure out what
it'd take to tackle the Mesa rework challenge.

As a first step, I had trouble following the "getting started"
directions. I've filed/commented on GitHub issues for code related
things. In the web site documentation, you might mention that you're
relying on SDL version 1.2, not the current version 2.0 (in Debian,
libsdl1.2-dev). And to get the isohybrid tool I needed the Debian
package named syslinux-utils.

http://genode.org/documentation/developer-resources/getting_started

Now that I can run the linux_x86 and okl4_x86 demos, what steps would
you recommend for trying to prototype a multi-process 3D
infrastructure?

Jamey