Hello Ben,

On Mon, Dec 22, 2014 at 06:07:40PM +0000, Nobody III wrote:
> I originally thought that the AHCI driver wasn't working, but my issue may
> be with the part_blk driver. The part_blk driver never starts, but AHCI
> announces service "Block". Any help?

Maybe your config files is missing routing entries for the Block
service? Please have a look at repos/os/run/part_blk.run or try

  <config verbose="yes">
    ...
    <start name="part_blk">
      ...
      <route>
        ...
        <service name="Block"> <child name="ahci"/> </service>
        ...
      </route>
      ...
    </start>
  </config

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

------------------------------------------------------------------------------
Dive into the World of Parallel Programming! The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main