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? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20141222/0e38bc88/attachment.html>