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