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(a)sel4.systems] on behalf of Raymond Jennings
[shentino(a)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(a)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.