Comment 31 for bug 1304001

Yes, those would be helpful although now I think understanding EC's BIOS (seabios I assume?) may be more important. Neither I nor Stefan have been able to reproduce this problem and it seems that EC does something in BIOS (and possibly qemu) that may not be available in vanilla Xen, most importantly building ACPI tables for guests (which is where memory is desribed). I, for example, would like to know how SRAT is generated. I don't think this can be done by config file alone.

We may need to get Amazon folks involved.