Hi Maria,

I think that if you watch this presentation http://youtu.be/SyOcmVamsmI you will find answers to many of your questions. Specially in the slide "Kernel vs. Operating System" it's explain that Fiasco.OC is just the kernel that contains two device drivers, UART for basic console and timer to be used by scheduler, any other device driver has to be implemented to run outside the kernel level.

Ventura

On Thu, Jun 19, 2014 at 7:44 AM, Maria Soler <m.soler@virtualopensystems.com> wrote:

Hello,

I would need to use file system facilities, but I am not sure how this is done. I can already use rom/ and also tmpfs, but neither is exactly what I need. I need to create persistent files that are written in disk from applications running on FIASCO (directly, not using L4Linux as an intermediary). I would also need to load (these or other) files from disk in run time (loading all files as modules in rom may not be the best solution, specially since we need to create new files "on the go" and be able to load them from other applications.

Is there any module/library/whatever in FIASCO that offers this? If there is one, how can we use it/where can we find information about it? In case this is relevant, our applications are in C and we are to run FIASCO in TrustZone Crotex-A15 (in secure mode).

Best regards,

María.

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers