Oh,

I forgot to mention and attach my patch [1] for use of the VFS in
run/libc_fatfs as an intermediate testing vehicle.

[1] 17_08_libc_fatfs.patch (attachment)

Hope it helps
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
 repos/libports/run/libc_filesystem_test.inc | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc
index 7a0be23..ad1e049 100644
--- a/repos/libports/run/libc_filesystem_test.inc
+++ b/repos/libports/run/libc_filesystem_test.inc
@@ -35,6 +35,7 @@ set build_components {
 	core init
 	drivers/timer
 	test/libc_block
+	test/libc_vfs server/vfs lib/vfs/fatfs
 }
 
 lappend build_components test/libc_$filesystem
@@ -75,7 +76,7 @@ set config {
 		<provides> <service name="Timer"/> </provides>
 	</start>}
 append config "
-	<start name=\"test-libc_$filesystem\">"
+	<start name=\"test-libc_vfs\">"
 append config {
 		<resource name="RAM" quantum="8M"/>
 		<config>
@@ -86,12 +87,23 @@ append config {
 			<libc stdout="/dev/log" stderr="/dev/log"/>
 			<vfs>
 				<dir name="dev">}
-append config $libc_dev_blkdev
 append config {
 					<log/>
 				</dir>
+				<fs/>
 			</vfs>
 		</config>
+	</start>
+
+	<start name="vfs" caps="200">
+		<resource name="RAM" quantum="8M"/>
+		<provides> <service name="File_system"/> </provides>
+		<config>
+			<vfs>
+				<fatfs/>
+			</vfs>
+			<policy label_prefix="test-libc_vfs" writeable="yes"/>
+		</config>
 	</start>}
 
 append_platform_drv_config
@@ -105,7 +117,7 @@ append_if $use_ahci config {
 		</route>
 		<config>}
 append_if $use_ahci config "
-			<policy label_prefix=\"test-libc_$filesystem\" device=\"0\" writeable=\"yes\"/>"
+			<policy label_prefix=\"vfs\" device=\"0\" writeable=\"yes\"/>"
 append_if $use_ahci config {
 		</config>
 	</start>}
@@ -138,6 +150,7 @@ install_config $config
 set boot_modules {
 	core init timer
 	ld.lib.so libc.lib.so libm.lib.so posix.lib.so
+	vfs test-libc_vfs vfs_fatfs.lib.so
 }
 
 append boot_modules test-libc_$filesystem
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to