seL4 on GitHub seL4 microkernel and related repositories seL4 Foundation The seL4® Microkernel 其它参考资料 unsw : Trustworthy Systems