[Xen-devel] [PATCH 0/7] xen/arm: Xen hardening for newer Armv8

[Julien Grall <julien.grall@xxxxxxx>]

Hi all,

This is a not-yet complete series to harden Xen for later revision of
Armv8. The main goals are:
    - Reducing the number of BUG_ON() to check guest state
    - Fix system registers size as they are always 64-bit on AArch64
    (not 32-bit!).

There are more work to do. I will send them in smaller batch as I find
spare time to rework bits of Xen.

Note that patch #1 was already sent separately but added here for convenience.

Cheers,

Julien Grall (7):
  xen/public: arch-arm: Restrict the visibility of struct
    vcpu_guest_core_regs
  xen/arm: SCTLR_EL1 is a 64-bit register on Arm64
  xen/arm: Rework psr_mode_is_32bit()
  xen/arm: traps: Avoid using BUG_ON() in _show_registers()
  xen/arm: traps: Avoid BUG_ON() in do_trap_brk()
  xen/arm: vsmc: The function identifier is always 32-bit
  xen/arm: types: Specify the zero padding in the definition of
    PRIregister

 tools/xentrace/xenctx.c       |  4 ++-
 xen/arch/arm/guest_walk.c     |  2 +-
 xen/arch/arm/traps.c          | 73 ++++++++++++++++++++-----------------------
 xen/arch/arm/vsmc.c           |  4 +--
 xen/include/asm-arm/domain.h  |  3 +-
 xen/include/asm-arm/p2m.h     |  4 +--
 xen/include/asm-arm/regs.h    |  9 +++++-
 xen/include/asm-arm/types.h   |  4 +--
 xen/include/public/arch-arm.h | 28 ++++++++---------
 9 files changed, 68 insertions(+), 63 deletions(-)

-- 
2.11.0


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel