ubject: Re: [seL4] Implementing a Filesystem on CAmkES
Hi Grant,
I can answer the "is there an easy way to integrate said filesystem into
musllibc such that one could use the standard open/read/write/close functions"?
The answer is yes ;). Take a look at libsel4camkes [1] whic
f of Grant Jurgensen
Sent: Tuesday, 24 July 2018 2:44 AM
To: devel@sel4.systems
Subject: [seL4] Implementing a Filesystem on CAmkES
Hello all,
I was hoping to get some advice on how to implement a filesystem on my CAmkES
project. For now I'm targeting FAT32, but that is flexible. So fa
Hello all,
I was hoping to get some advice on how to implement a filesystem on my
CAmkES project. For now I'm targeting FAT32, but that is flexible. So far,
my plan is to port the libsdhcdriver to my platform (which shouldn't be too
bad. I'm targeting exynos5, and I see exynos4 is already
