Mailing lists will be down for maintenance tomorrow
19 Oct
2017
19 Oct
'17
10:34 a.m.
The devel and announce mailing lists, and their on-line archives, will be unavailable tomorrow morning from around 9am to 10am Australian Eastern Summer Time, to allow upgrading seL4 and the Linux VM runnning on top of it. eMails sent to the lists will be queued, rather than lost. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)
2622
Age (days ago)
2622
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list