Hello,
as I said some time ago, my acpi server always crashes when I start it, while parsing ACPI tables. I found out that the XSDT table, the second one that is inspected, is supposedly at physical address 0x9cfd1188, which is quite high. When I inspect that address on GNU/Linux in /dev/mem, I see the string "XSDT" as expected; on Hurd I see zeros and then garbage. Maybe gnumach writes at that address at some point? Or it's an issue with the /dev/mem driver? I can't locate it inside gnumach. Warmly, Andrea Monaco