hi, I have some questions about camkes-manifest 1、I find the libsdhcdrivers in /projects/projects_libs of the project. But where can I find the superset of these libs by git? I can't find the maintenance branch about libsdhcdrivers (like 'seL4_libs' ) in https://github.com/seL4 2、I can't find who use the function of libsdhcdrivers, what is the plan of the lib ? Is there some demo using sdhc ? Thank you very much
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.