3 Jul
2016
3 Jul
'16
2:49 a.m.
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@gmail.com> 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel