潜龙在田 @muyuluo

4年linux kernel开发； 1.5年基于SeL4的secure OS开发