Re: [seL4] strange code in thread.c

Us here at Data61 watch github, I suspect many other people on the mailing list don't though. With that in mind feel free to use whichever you feel is most appropriate.

Bear in mind that despite our best efforts there will be sometimes be delays in our ability to respond on either.

Adrian

On Fri 27-Jan-2017 3:53 AM, Berkus wrote:

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?

_______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel