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