diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2016-10-24 10:35:53 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-01-16 17:52:35 +0100 |
| commit | 5564edb19e06129b62b4b272c290db2efb87cefc (patch) | |
| tree | 9ea4a05d6fd285090747f9cfec73f3454ffd04d7 /MAINTAINERS | |
| parent | 2f7b92a03f1e3813fc046d757138da519f4218d3 (diff) | |
stubs: group stubs for user-mode emulation
Some stubs are used for user-mode emulation only; they are not
needed by tools. Move them out of stubs/.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'MAINTAINERS')
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 1444b26dc0..39e823083f 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -1494,6 +1494,7 @@ M: Riku Voipio <riku.voipio@iki.fi> S: Maintained F: thunk.c F: user-exec.c +F: user-exec-stub.c BSD user S: Orphan |