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
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
On 02.07.2016 18:49, Raymond Jennings wrote:
In a microkernel you'd generally have a file system as a separate process interfacing with a block device driver through communication channels.
Yeah, but there is not support for any storage so far on one of the supported boards, right? Is everything running from ramdisk then? Cheers, Stefan -- Stefan Wallentowitz Staff Engineer Simless GmbH, Zweigstelle/Branch München Adresse/Address: Freibadstr. 30, 81543 München, Germany Email: stefan@simless.com Web: www.simless.com Simless GmbH Adresse/Address: Alaunstr. 85, 01099 Dresden, Germany Geschäftsführung/Managing Director: Karsten Ohme Handelsregister/Trage Register: Amtsgericht Dresden HRB 34482 Sitz der Gesellschaft/Head Office: Dresden Hinweis: Der Inhalt dieser E-Mail ist vertraulich und ausschließlich für den bezeichneten Adressaten bestimmt. Wenn Sie nicht der vorgesehene Adressat dieser E-Mail sein sollten, setzen Sie sich bitte mit dem Absender der E-Mail oder unter der angegebenen Telefonnummer in Verbindung und vernichten Sie diese E-Mail auf Ihren Speichermedien. Notice: The information contained in this e-mail is confidential. It is intended solely for the addressee named above. If you are not the intended recipient, please notify the sender immediately and destroy this message on any media of yours.
seL4 only provides the microkernel. To use a storage device, you need a device driver process with the appropriate I/O privileges to access the device and its irq's. Most likely, the filesystem would use a handle provided by the driver and use it to issue read/write requests. I'm not aware of any such existing in practice at this time, but if you're looking to roll you rown that's probably how to do it On Sat, Jul 2, 2016 at 10:14 AM, Stefan Wallentowitz <stefan@simless.com> wrote:
On 02.07.2016 18:49, Raymond Jennings wrote:
In a microkernel you'd generally have a file system as a separate process interfacing with a block device driver through communication channels.
Yeah, but there is not support for any storage so far on one of the supported boards, right? Is everything running from ramdisk then?
Cheers, Stefan -- Stefan Wallentowitz Staff Engineer
Simless GmbH, Zweigstelle/Branch München Adresse/Address: Freibadstr. 30, 81543 München, Germany Email: stefan@simless.com Web: www.simless.com
Simless GmbH Adresse/Address: Alaunstr. 85, 01099 Dresden, Germany Geschäftsführung/Managing Director: Karsten Ohme Handelsregister/Trage Register: Amtsgericht Dresden HRB 34482 Sitz der Gesellschaft/Head Office: Dresden
Hinweis: Der Inhalt dieser E-Mail ist vertraulich und ausschließlich für den bezeichneten Adressaten bestimmt. Wenn Sie nicht der vorgesehene Adressat dieser E-Mail sein sollten, setzen Sie sich bitte mit dem Absender der E-Mail oder unter der angegebenen Telefonnummer in Verbindung und vernichten Sie diese E-Mail auf Ihren Speichermedien.
Notice: The information contained in this e-mail is confidential. It is intended solely for the addressee named above. If you are not the intended recipient, please notify the sender immediately and destroy this message on any media of yours.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Hi Stefan, We have SDHC drivers in https://github.com/SEL4PROJ/projects_libs Supported platforms are Sabrelite (i.MX6) and Odroid-X (Exynos4), however, a port to other platforms that support the SD Host controller standard should be trivial. - Alex ________________________________________ From: Devel [devel-bounces@sel4.systems] on behalf of Raymond Jennings [shentino@gmail.com] Sent: Monday, 4 July 2016 23:51 To: Stefan Wallentowitz Cc: devel Subject: Re: [seL4] [sel4] persistent storage / file system seL4 only provides the microkernel. To use a storage device, you need a device driver process with the appropriate I/O privileges to access the device and its irq's. Most likely, the filesystem would use a handle provided by the driver and use it to issue read/write requests. I'm not aware of any such existing in practice at this time, but if you're looking to roll you rown that's probably how to do it On Sat, Jul 2, 2016 at 10:14 AM, Stefan Wallentowitz <stefan@simless.com<mailto:stefan@simless.com>> wrote: On 02.07.2016 18:49, Raymond Jennings wrote:
In a microkernel you'd generally have a file system as a separate process interfacing with a block device driver through communication channels.
Yeah, but there is not support for any storage so far on one of the supported boards, right? Is everything running from ramdisk then? Cheers, Stefan -- Stefan Wallentowitz Staff Engineer Simless GmbH, Zweigstelle/Branch München Adresse/Address: Freibadstr. 30, 81543 München, Germany Email: stefan@simless.com<mailto:stefan@simless.com> Web: www.simless.com<http://www.simless.com> Simless GmbH Adresse/Address: Alaunstr. 85, 01099 Dresden, Germany Geschäftsführung/Managing Director: Karsten Ohme Handelsregister/Trage Register: Amtsgericht Dresden HRB 34482 Sitz der Gesellschaft/Head Office: Dresden Hinweis: Der Inhalt dieser E-Mail ist vertraulich und ausschließlich für den bezeichneten Adressaten bestimmt. Wenn Sie nicht der vorgesehene Adressat dieser E-Mail sein sollten, setzen Sie sich bitte mit dem Absender der E-Mail oder unter der angegebenen Telefonnummer in Verbindung und vernichten Sie diese E-Mail auf Ihren Speichermedien. Notice: The information contained in this e-mail is confidential. It is intended solely for the addressee named above. If you are not the intended recipient, please notify the sender immediately and destroy this message on any media of yours. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
On 05.07.2016 02:40, Alexander Kroh wrote:
Hi Stefan,
We have SDHC drivers in https://github.com/SEL4PROJ/projects_libs
Supported platforms are Sabrelite (i.MX6) and Odroid-X (Exynos4), however, a port to other platforms that support the SD Host controller standard should be trivial.
- Alex
Hi Alex, excellent, thank you very much! We are planning to use it on the HiKey board and as you say that should not be much work. Cheers, Stefan
participants (5)
-
Alexander Kroh -
rahul mahadev -
Raymond Jennings -
Stefan Wallentowitz -
Stefan Wallentowitz