I had problems with foc. I'll try NOVA.

On Tue, Dec 2, 2014 at 10:03 AM, Christian Helmuth <christian.helmuth@...1...> wrote:
Hello Ben,

On Mon, Dec 01, 2014 at 03:08:09PM -0700, Nobody III wrote:
> My computer has a SATA hard drive which is only accessible through the IDE
> interface (so AHCI doesn't work). Unfortunately, Genode doesn't detect it.
> I mentioned this problem earlier, but now I have a null modem cable to get
> the debugging info. Here is the full serial output:
>
> Welcome to Fiasco(ia32)!
> DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden

This tells me you're using fiasco_x86. Could you please try
nova_x86_32 or foc_x86_32? At least on Qemu (and maybe on your
hardware too) we had issues with the ACPI and Fiasco interplay.

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

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main