arm,kern: Use GuestABI to call printk from the kernel.
[gem5.git] / MAINTAINERS
index c7f4923e7f31421878684d1ac1c1e0e840fd5960..949657d624ab368c466fdcd80eca2372a7548c14 100644 (file)
@@ -17,6 +17,7 @@ PMC Members (general maintainers):
   Brad Beckmann <brad.beckmann@amd.com>
   David Wood <david@cs.wisc.edu>
   Gabe Black <gabeblack@google.com>
+  Giacomo Travaglini <giacomo.travaglini@arm.com>
   Jason Lowe-Power <jason@lowepower.com> (chair)
   Matt Sinclair <sinclair@cs.wisc.edu>
   Tony Gutierrez <anthony.gutierrez@amd.com>
@@ -24,7 +25,6 @@ PMC Members (general maintainers):
 
 arch: General architecture-specific components
   Gabe Black <gabeblack@google.com>
-arch-alpha:
 arch-arm:
   Andreas Sandberg <andreas.sandberg@arm.com>
   Giacomo Travaglini <giacomo.travaglini@arm.com>
@@ -61,6 +61,9 @@ dev-arm:
 
 ext: Components external to gem5
 
+fastmodel: Changes relating to ARM Fast Models
+  Gabe Black <gabeblack@google.com>
+
 gpu-compute:
   Tony Gutierrez <anthony.gutierrez@amd.com>