Re: [seL4] Some comments.

...

...

...

...

"Mehdi" == Mehdi Amiri writes:

Mehdi> Also please note, the archive of both development ( Mehdi> https://sel4.systems/pipermail/devel/) and announcements ( Mehdi> https://sel4.systems/pipermail/announce/) mailing lists are not Mehdi> accessible trough the website. Try http://sel4.systems/pipermail/devel/ -- SSL isn't turned on for these URLs. Peter C