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
发送时间: 2015729 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.