Hi Michal, >> >> diff --git a/xen/arch/arm/include/asm/arm64/mpu.h >> b/xen/arch/arm/include/asm/arm64/mpu.h >> new file mode 100644 >> index 000000000000..d3c055a2e53b >> --- /dev/null >> +++ b/xen/arch/arm/include/asm/arm64/mpu.h >> @@ -0,0 +1,52 @@ >> +/* SPDX-License-Identifier: GPL-2.0-only */ >> + >> +#ifndef __ARM_ARM64_MPU_H__ >> +#define __ARM_ARM64_MPU_H__ > Given that Andrew's CODING_STYLE update \wrt headers went it, I think we > should > adhere to it in new files. Other than that: > > Reviewed-by: Michal Orzel <michal.or...@amd.com>
Oh I missed that, I’ll update the headers in this serie Cheers, Luca