Hi,
1. You can find the library in https://github.com/SEL4PROJ/projects_libs? 2. Sorry, we do not have any public demos that use this library. It has mainly been used in experimental contexts. Cheers Anna.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
