diff --git a/MAINTAINERS b/MAINTAINERS index 66ffcf399a..1865a84764 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -139,7 +139,7 @@ F: xen/drivers/char/pl011.c F: xen/drivers/passthrough/arm/ CPU POOLS -M: Juergen Gross +M: Juergen Gross S: Supported F: xen/common/cpupool.c