27 Jan
2017
27 Jan
'17
3:53 a.m.
Hi! Details here https://github.com/seL4/seL4/issues/57 do you guys keep an eye on github activity actually or it’s a bad medium for communcation?