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

[Jorge Ventura]

This is a good direction. I forgot that, in reality we need two drivers,
one for a block device and another one for the filesystem itself.


On Thu, Jun 19, 2014 at 10:45 AM, Johan Dams <johan.dams at wrdsystems.co.uk>
wrote:

> Hi.
>
> Ext2 or even FAT should be fairly straight forward to implement as well.
> You can then hook it up into the VFS system in L4Re. You will have to
> write the block device driver as well, for whatever persistent storage
> you want to use on your ARM system.
>
>
> Best regards,
> Johan
>
> On Thu, 2014-06-19 at 10:34 -0500, Jorge Ventura wrote:
> > I think that this is something that has to be implemented. If I
> > understand correctly this matter, any filesystem device driver, except
> > the memory filesystems you mention before has to be written from
> > scratch as a server at the top of Fiasco.OC.
> >
> >
> > I don't know if you are planning to go that far but one idea (and I
> > have personal interest on that) is to try to port or rewrite the minix
> > 3 file system from Minix3 to Fiasco.OC. A good reason to do that is
> > because you can find a detailed explanation in the book
> >
> > "Operating Systems, Design and Implementation"
> >
> >   Andrew S.Tanenbaum
> >
> >
> > in Chapter 5, a detailed description about minix 3 filesystem and the
> > implementation as well.
> >
> >
> >
> > On Thu, Jun 19, 2014 at 9:55 AM, Maria Soler
> > <m.soler at virtualopensystems.com> wrote:
> >         Thanks, Jorge Ventura. Yes, you are right. I am sorry, I meant
> >         L4re. I am used to discuss about the whole system calling it
> >         FIASCO (just as most people do with Linux and its different
> >         distributions). So I will rephrase my question a bit more
> >         precisely:
> >
> >         I need to create persistent files that are written in disk
> >         from applications running on L4re. I would also need to load
> >         (these or other) files from disk at run time. I have already
> >         created an application that reads and writes from files saved
> >         both in rom and in a tmpfs, but I don't know how to make
> >         persistent files.
> >
> >
> >
> >         On Thu, Jun 19, 2014 at 4:12 PM, Jorge Ventura
> >         <jorge.araujo.ventura at gmail.com> wrote:
> >                 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 at 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 at os.inf.tu-dresden.de
> >
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >
> >
> >
> >
> >
> >
> >
> > _______________________________________________
> > l4-hackers mailing list
> > l4-hackers at os.inf.tu-dresden.de
> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
> --
>
> PGP Public Key:
> http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x08EDE1CD977FD2AB
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140619/7bb75747/attachment.html>