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.