diff --git a/MAINTAINERS b/MAINTAINERS index 4258e48c1b..891c2cb7ee 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -228,6 +228,7 @@ MINI-OS M: Stefano Stabellini M: Samuel Thibault S: Supported +F: config/MiniOS.mk F: extras/mini-os/ OCAML TOOLS @@ -284,6 +285,8 @@ STUB DOMAINS M: Stefano Stabellini M: Samuel Thibault S: Supported +F: config/Stubdom.mk.in +F: m4/stubdom.m4 F: stubdom/ TOOLSTACK @@ -292,6 +295,16 @@ M: Stefano Stabellini M: Ian Campbell M: Wei Liu S: Supported +F: autogen.sh +F: config/*.in +F: install.sh +F: m4/ +F: configure +F: docs/Makefile +F: stubdom/Makefile +F: *.ac +F: */configure +F: */*.ac F: tools/ TRANSCENDENT MEMORY (TMEM)