Open yuvalavn opened 2 years ago
A couple of questions on this:
The kernel doesn't boot at all without ACRN, I had to use the default config file to compile the kernel so it can load. I have Dell R740 with Xeon processor with BIOS version 2.11.2
And do you see this error message with the kernel that boots natively on the platform?
No
How does ACRN SOS gets access to the real ACPI tables? directly?
How does ACRN SOS gets access to the real ACPI tables? directly?
I do not believe so, I believe the hypervisor generates the ACPI tables on the fly for the Service VM. It probably does not expose it all but I do not know exactly what it does.
What is the OS in your Service VM? And what was the OS environment you used to compile ACRN?
Note: let me transfer this issue to the acrn-hypervisor
repository as it's more likely an ACRN issue rather than a Linux kernel one. Let's continue the conversation over there.
I get the following message on kernel boot (over ACRN), is this expected?
ACPI BIOS Error (bug): A valid RSDP was not found