I have been trying to get Genode to run on my computer. It currently can start init but cannot detect my hard drive. I originally tried using the AHCI driver, but that failed, and after some research, I found out that my motherboard lacks acpi support. I then tried using the atapi driver, but it couldn't detect any IDE devices. After looking for atapi usage in some run scripts, I found that libc_block says, "ATAPI driver does not support 64 bit." I am using foc_x86_64, so, unless that information is incorrect/outdated, it explains why no IDE devices were detected. Could someone please add 64-bit support to the ATAPI driver? I would offer to help if I were qualified.