Hello Humberto,
maybe we should first get the file system out of way for testing your
driver. There is the sd_card.run script, which serves exactly this
purpose. So please try "make run/sd_card" in your scenario. You may
limit the scope of the block test by adjusted the config node as in
the attached patch.
Regards
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ · http://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/os/run/sd_card.run | 1 +
1 file changed, 1 insertion(+)
diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run
index 30c3b53..0be088f 100644
--- a/repos/os/run/sd_card.run
+++ b/repos/os/run/sd_card.run
@@ -56,6 +56,7 @@ append config {
</start>
<start name="test-blk-cli">
<resource name="RAM" quantum="1M" />
+ <config test_size="64M"/>
</start>
</config> }
------------------------------------------------------------------------------
Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
Get real-time metrics from all of your servers, apps and tools
in one place.
SourceForge users - Click here to start your Free Trial of Datadog now!
http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
_______________________________________________
genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
