Comment Comment by yen223 They should have submitted http://sel4.systems/ as the link, instead of the github link. parent yen223 12 years ago
