AHCI/part_blk

[Christian Helmuth]

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