4 ms·Oh, I didn't realise the linked article wasn't the actual seL4 website.by axman6 12y agoOh, I didn't realise the linked article wasn't the actual seL4 website.