26 Jan
2017
26 Jan
'17
5:53 p.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?