Hi,
[Jason, Wang] I really have no idea about DMI, and I also checked the SeaBIOS configuration file and gained nothing. Watson, what is the path of the file"config.h"?
it is in src/config.h in SeaBIOS.
[Jason, Wang] how did you do that? Now I really need some tools to debug the acpi.
Just take the ssdt from running system and copy it inside dsdt, then recompile.
Rudolf