Doubts about File Systems on FIASCO on ARM (Cortex-A15)

Jorge Ventura jorge.araujo.ventura at
Thu Jun 19 16:12:10 CEST 2014

Hi Maria,
I think that if you watch this presentation 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.


On Thu, Jun 19, 2014 at 7:44 AM, Maria Soler <m.soler at
> 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 at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list