I tried this same build on an Intel-based computer (an HP Z240 with an Intel SATA controller) but this one gets even less progress. The driver reports that there are no AHCI controllers present. From what I can tell, this is probably because the controller is set to IDE mode not AHCI mode but there aren't any options within the BIOS to even change this setting so I am up against a wall to get this to work on any platform I have tried. Here is the snippet of logs from this machine:
Genode 17.08-112-gee4ee6a <local changes> 7884 MiB RAM and 63254 caps assigned to init [init -> ahci_drv] --- Starting AHCI driver --- [init] child "timer" announces service "Timer" [init] child "report_rom" announces service "Report" [init] child "report_rom" announces service "ROM" [init] child "log_terminal" announces service "Terminal" [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] -- init iPXE NIC [init] child "acpi_report_rom" announces service "Report" [init] child "acpi_report_rom" announces service "ROM" [init -> acpi_drv] Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13 [init -> acpi_drv] Found MCFG [init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff [init -> acpi_drv] Found DMAR [init -> acpi_drv] 39 bit DMA physical addressable , IRQ remapping supported [init -> acpi_drv] DMA remapping structure type=0 [init -> acpi_drv] DMA remapping structure type=0 [init -> acpi_drv] DMA remapping structure type=1 [init -> acpi_drv] DMA remapping structure type=1 [init] child "platform_drv" announces service "Platform" *[init -> ahci_drv] Error: __cxa_guard_abort called* *[init -> ahci_drv] Error: __cxa_guard_abort called* *[init -> ahci_drv] Error: no AHCI controller found* [init] child "ahci_drv" exited with exit value -1 Warning: PD (init -> usb_drv) RAM limit (used=4884K, limit=6005765) exceeded during transfer_quota(2M) [init] Warning: usb_drv: RAM upgrade of Platform failed [init -> ps2_drv] Using keyboard with scan code set 1 (xlate) [init -> usb_drv] resource_request: ram_quota=2M, cap_quota=0 [init] child "usb_drv" requests resources: ram_quota=2M, cap_quota=0 [init -> nic_drv] Found: 00:1f.6 8086:15b7 (rev 31) IRQ 0b [init -> nic_drv] no driver found
On Thu, Nov 2, 2017 at 10:08 PM, Chris Rothrock <cgrothrock@...9...> wrote:
this particular machine has only USB 2.0 ports, no USB 3 ports.
On Thu, Nov 2, 2017 at 6:14 PM, Nobody III <hungryninja101@...9...> wrote:
Do they work in all of your ports though? For me, some of my ports (USB 3.0) worked and others (USB 2.0) did not. I'm asking about ports, not devices.
On Thu, Nov 2, 2017 at 1:12 PM, Chris Rothrock <cgrothrock@...9...> wrote:
I use both a USB keyboard and mouse. Both of these properly work in the framebuffer window as well as in the TinyCore VM window without any issues. I have not tried other USB devices at this time, however.
On Thu, Nov 2, 2017 at 2:45 PM, Nobody III <hungryninja101@...9...> wrote:
I'd also verify that the platform driver works. I found that the Linux USB driver didn't detect devices plugged into USB 2.0 ports when running on Genode. The USB 3.0 ports worked just fine, and all the USB ports work when running Linux. I'd recommend checking whether you get similar results.
On Nov 2, 2017 3:48 AM, "Sebastian Sumpf" < Sebastian.Sumpf@...1...> wrote:
On 01.11.2017 20:27, Chris Rothrock wrote:
The IRQ that my AHCI controller is using for SATA port 0 is 37 (I
know,
it's pretty high and is probably contributing to the issue). From
what
I understand, however, the drivers ported for Genode are derived from the original Linux version drivers which obviously work in Linux. Do you think it would help if I did some code comparison between the
AHCI
driver port for Genode and the original Linux AHCI driver that
works?
Perhaps if I delve in deep enough I can find some structuring that
has a
special handling for AMD SATA controllers and help to contribute to
the
project.
Genode's AHCI driver was written from scratch, therefore it lacks features the Linux driver certainly offers. So, a little digging into the Linux driver for special handling of AMD controllers might help.
Cheers,
Sebastian
-- Sebastian Sumpf Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
--
Thank You,
Chris Rothrock Senior System Administrator (315) 308-1637
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
--
Thank You,
Chris Rothrock Senior System Administrator (315) 308-1637