Hermann Härtig wrote:
David,
on behalf of the L4 team (at least the one in Dresden): Thanks for your kind words and the concern ;-) .
No need to worry about motivation. On the contrary, we want to push the usage of L4 much further. After having had some nice publication successes in the real-time domain, we now seem to have a real chance to push the usage of L4 into the (high assurance ?) security area. For instance, Dresden's L4 team has a contract to build a prototype of a minimal VPN box in close contact with the German "Bundesamt für Sicherheit in der Informationstechnik" (see http://os.inf.tu-dresden.de/mikrosina/). But since a long time, we understand that the current interface has shortcomings, e.g., lacks means to control message passing.
I like to help where I can see an honest and forthright endeavour, and a piece of work that shines out. My zone at present is on the testing side of things; where I have the tools, inclination and time I do hope to be of use in that respect.
Sorry for interrupting the discussion :-(
DD