Hi,
I wanted to know if persistent storage/ file system have been tried on sel4 before ,if so can I have more details on it.

Regards ,
Rahul S Mahadev