Các kho mã nguồn mở đang theo dõi của seL4, sắp xếp theo số sao.
Vi nhân kernel seL4.
Đặc tả và chứng minh seL4
