-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi,
maybe you already read it in the news but there's a somewhat new proven operating system, based on the well known L4 microkernel. it's released as open source: http://sel4.systems/ kind regards Sven PS: I didn't had time yet to dig into the proofs etc. So anyone who has some background information, please share it. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (MingW32) iQGcBAEBAgAGBQJT1976AAoJEAq0kGAWDrqlVV8L+gKh/74yqjdqgzwHjOAR/0rJ 2Zy97dVeBkCmz2wDsFC6Al9pW1kDl/3jjrX43Ei5EsfOcBD9rr1mKWMll6z4+CFa YXLtL7ONeHdPFhZSq7jj62lxd3edcqKazQO2pCk15bOkZnET0pHnC88tVxFZ8Vi1 uPsqBR6RdogVvyWulHe09Q2KR1UG30m21FlQIjWBYlMLK1yb3R541kjf5Iyu8rX4 BhRApwN8IWSEJLsOmfXlDNn16QeNzuemEbYw+OwG7SiZ2tFGOHHVEgVDHrUqU0zF 8VIq+ehB3kvl9ykyMD8/E4kCxY6H1jOPVb1tdBG12iIjGuCx0zsYqOv1ZkreJrym yqYuDcQfiQbzCxuzXC6Gjp7wqEkli0mhnudcRbaOGEOmkNFX3ouA3bNkihC2d99e cnrUTOvRZMoccTkzF4kUI0ZHH1qAAbyBYKAd46b0WAkkLq13bxpbnBgXBDiuH4Mm xvvLhsa1ooGwNuFLtMVBFv3ox34WSOxnCmZU4S/HZQ== =9Dd2 -----END PGP SIGNATURE----- _______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
