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

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 <[email protected]
> 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 <
> [email protected]> 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 <
>> [email protected]> 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
>>> [email protected]
>>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>>>
>>>
>>
>

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers