A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
17
stars
14
forks
source link
Add support for SDSC (≤2GiB) SD cards #224
Closed
midnightveil closed 1 week ago
Tested on on a 2GiB SDSC Card, matches with mmc-utils on Linux.
In theory, should also work on SDXC (32GiB -> 2TiB) and SDUC (> 2TiB), though we don't have cards to test.
Waiting on #206 to merge first. Part of #187.