For graphical user interface solutions from our group, please, have a look at http://demo.tudos.org/ and http://os.inf.tu-dresden.de/dope/.
I just ran your demo disk on my Athlon 800, a 6 year old machine, and OH MY GOD! It ran amazingly smooth. It had no trouble at all showing all the graphics demos at once and the quake game was smooth as silk. -- though quite challenging! =P
I've been trying to test out my own ideas about how to design an Operating system since I finalized the design in 2001. Jochen's writings about L4 were a major influence on my thinking.
I have had relatively poor luck with L4. I only learned receiently how modules can be loaded by GRUB. Previously, I thought they were linked with the binary. I've only been able to play with the pre-made demo disks.
With the new release of Minix, I had hoped to be able to rig up a server which would provide an API over IPC that would offer some of the features of my OS. -- without having to start from scratch... Minix, to my horror, reserves its microkernel features for it's pre-registered servers but then restricts userspace processes to the, by all rights, obsolete Unix API. =(
Looking for a quick fix, I thought it'd be comparatively easy to use L4 in place of the minix kernel where I'd be able to take advantage of the relatively mature microkernel unix implementation and also be able to use IPC.
So I went back to your fine project and tried, once again, to figure out how your source code is laid out... My thinking now is that I need to save up for air fare over to Germany and get a week's worth of training on this codebase...