On Fri, Sep 30, 2016 at 3:01 PM, <[email protected]> wrote:
> Paper is here: https://arxiv.org/abs/1609.08372 > Ooh, I hope this is as much fun as the mixed criticality real time scheduling one. :-) Multicore pull requests are being generated internally, things should > become visible soon > Sweet! Thanks, Jeff
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
