On Fri, Dec 23, 2016 at 3:52 PM, Corey Richardson <[email protected]> wrote:
> They aren't super comprehensive, and most of the gaps discussion was > around a PDF that the Data61 folks had listing their gaps analysis. Hope > it's useful. > Thanks, will read! Now that PDF would be interesting, Data 61 folks. ;-)
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
