苹果公司加入seL4基金会，成为普通会员，具有投票权。seL4是第一个通过形式验证的安全操作系统内核，对航空航天、自动驾驶汽车、医疗设备等行业具有重要意义。
完成下面两步后，将自动完成登录并继续当前操作。
