A big Thank You!

This might be my last mail from this account. My contract finishes by
the end of the week. Then I'll sit and write down what I've done for my
Diplomarbeit. I'll come up with some theoretical questions soon. But I
already want to thank everybody, who supported me during the last seven
month! I'll mention you in my Diplomarbeit.

Here is a short summary of the practical part of my thesis:
1. Minimal BSP for the PowerPC implementation of L4Ka::Pistachio from
CVS
2. Adapting this PowerPC implementation to the N1 API, including
syscalls and new semantics
3. Patching PowerPC support into the Iguana build system
4. Implementing the architecture dependent parts of the libraries
5. Fixing / Working around bugs in Iguana

I managed to get Iguana up and running but the ThreadSmashing and
Memsection tests still fail. I guess this is due to a bug in the PowerPC
kernel implementation (maybe TLB flushing).

I'd like to give something back for the support I got. However, I wrote
my thesis with EADS and hence I need to get permission. Some weeks ago
I've requested permission to publish my work (except the BSP). And the
law department is still working on it. But I've been promised a decision
by the end of April (before I hand in my thesis).

One other issue: Why didn't you apply for Googles Summer of Code as
tutoring organisation? I would have loved to pick a project on L4! Now I
had to chose a Linux project - which is not bad, of course. ;-) Maybe
next year you could use Googles money to push L4 a bit further.

Happy hacking,

Martin.