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?