This primarily accounts for the review feedback Thomas gave on the x86 non-root Linux patch series:
Either use hard-coded TSC and APIC timer calibration values from the system config or pick those up from the root cell (the latter means trusting them, obviously). These are now forwarded to non-root cells via the Communication Region. Both our inmate library as well as the boot protocol of Linux are adapted to make use of them. Furthermore, this adds TSC deadline timer support to the inmate library, resolves a number of issues when using the upcoming 4.15 kernel as root Linux and avoids confusing non-root Linux with unavailable VMX/SVM features. Note that picking up the APIC timer frequency from Linux during startup requires another kernel patch to export a symbol. But, at least at the moment, we are already depending on a patch to reexport ioremap_page_range. Jan PS: v2 of the Linux patches will follow soon. CC: Thomas Gleixner <[email protected]> Jan Kiszka (8): driver: Account for upcoming changes to device tree overlay API inmates, tools: Avoid warnings of objtool x86, driver, tools: Pass TSC and APIC timer frequency calibration to non-root cells inmates: x86: Add TSC deadline timer support inmates: x86: Use pre-calibrated TSC and APIC timer frequencies inmates: x86: Enhance Linux setup data structure x86: Mask out VMX and SVM from non-root cell cpuid inmates: Declare cmdline buffer driver/main.c | 8 +++ driver/pci.c | 20 ++++--- hypervisor/arch/x86/control.c | 11 ++-- .../arch/x86/include/asm/jailhouse_hypercall.h | 5 ++ hypervisor/arch/x86/vcpu.c | 7 ++- hypervisor/include/jailhouse/cell-config.h | 4 +- inmates/lib/inmate_common.h | 2 + inmates/lib/x86/Makefile.lib | 1 + inmates/lib/x86/timing.c | 68 ++++++++-------------- inmates/tools/x86/linux-loader.c | 8 ++- tools/Makefile | 1 + tools/jailhouse-cell-linux | 5 +- tools/jailhouse-hardware-check | 4 +- 13 files changed, 80 insertions(+), 64 deletions(-) -- 2.12.3 -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
