In a microkernel you'd generally have a file system as a separate process
interfacing with a block device driver through communication channels.
On Wed, Jun 29, 2016 at 7:05 PM, rahul mahadev <rahul.mahadev7(a)gmail.com>
I wanted to know if persistent storage/ file system have been tried on
sel4 before ,if so can I have more details on it.
Rahul S Mahadev
Devel mailing list