On 05.07.2016 02:40, Alexander Kroh wrote:
> Hi Stefan,
> 
>  We have SDHC drivers in https://github.com/SEL4PROJ/projects_libs
> 
> Supported platforms are Sabrelite (i.MX6) and Odroid-X (Exynos4), however, a 
> port to other platforms that support the SD Host controller standard should 
> be trivial.
> 
>   - Alex

Hi Alex,

excellent, thank you very much! We are planning to use it on the HiKey
board and as you say that should not be much work.

Cheers,
Stefan


Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to