L4 and EROS (Off topic)
david at yaravi.com
Mon Jan 5 22:08:30 CET 2004
Hermann Härtig wrote:
> 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 :-(
More information about the l4-hackers