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 [email protected] https://sel4.systems/lists/listinfo/devel
