Proven seL4 -> a route for Viengoos?

Am Dienstag, 29. September 2009 16:40:08 schrieb Marcus Brinkmann:
> If you are interested in proven security, the seL4 people just announced
> successful verification of their kernel (see any recent item on
>  www.l4hq.org ).

I just had a look at it, and the article they link to states that the 
technique could be adapted for more complex kernels, so having a proven kernel 
can now in principle be done on any base. 

Maybe this could also help bringing Viengoos forward, since people might 
invest in it if it gives them something they can't get otherwise. 

Best wishes, 
Arne

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.11 (GNU/Linux)

iEYEABECAAYFAkrCQIwACgkQMwdGm/6WxARYDACfUeNNgOthcqDmMg/XxKbSWli2
QbEAoMmmlSSOJOnRr9AVd+ZgZGOEyUF3
=mWCf
-----END PGP SIGNATURE-----