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 <[email protected]> wrote: > 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 > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
