diff options
Diffstat (limited to 'MAINTAINERS')
-rw-r--r-- | MAINTAINERS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index bcde139506..7c672c8bf5 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -210,6 +210,7 @@ F: xen/arch/x86/cpu/mcheck/ MINI-OS M: Stefano Stabellini <stefano.stabellini@eu.citrix.com> +M: Samuel Thibault <samuel.thibault@ens-lyon.org> S: Supported F: extras/mini-os/ @@ -249,6 +250,7 @@ T: git git://xenbits.xen.org/seabios.git STUB DOMAINS M: Stefano Stabellini <stefano.stabellini@eu.citrix.com> +M: Samuel Thibault <samuel.thibault@ens-lyon.org> S: Supported F: stubdom/ |