I have some questions about camkes-manifest

1I 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

2I 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