Hi everyone,
Today is the anniversary of the open-sourcing of seL4. At NICTA we’re celebrating, I hope you’ll virtually join us ;-)
Let me add that I quite enjoy this mailing list. Traffic has a high signal-noise ratio (apologies for degrading it with this message ;-) people generally seem to know what they are doing, and the community is clearly growing. Presently there are over 300 addresses on the list.
Many thanks from all of us at NICTA, and keep it up!
Gernot
[cid:1374281D-B193-431C-AA3F-D6EE049C461A@keg.ertos.in.nicta.com.au]
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Congratulation to seL4!
Xilong Pei
Tongji University
http://www.tongji.edu.cn/english/
Shanghai China
2015/7/29
发件人: Devel [mailto:devel-bounces@sel4.systems] 代表 Gernot Heiser 发送时间: 2015年7月29日 13:03 收件人: seL4 主题: [seL4] Happy Birthday, Developers!
Hi everyone,
Today is the anniversary of the open-sourcing of seL4. At NICTA we’re celebrating, I hope you’ll virtually join us ;-)
Let me add that I quite enjoy this mailing list. Traffic has a high signal-noise ratio (apologies for degrading it with this message ;-) people generally seem to know what they are doing, and the community is clearly growing. Presently there are over 300 addresses on the list.
Many thanks from all of us at NICTA, and keep it up!
Gernot
_____
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-
Gernot Heiser -
Pei.XiLong(裴喜龙)