linux-user: support -plugin option
authorLluís Vilanova <vilanova@ac.upc.edu>
Mon, 24 Jul 2017 09:41:51 +0000 (12:41 +0300)
committerAlex Bennée <alex.bennee@linaro.org>
Mon, 28 Oct 2019 15:12:38 +0000 (15:12 +0000)
commitf308f64e760abfaa1cf343a3a213951aacba6d26
tree8d3613610e551bf890d43da968f48f265de8bf08
parent42229a753908a0ab6672209535f644e3aaceb8ab
linux-user: support -plugin option

Signed-off-by: Lluís Vilanova <vilanova@ac.upc.edu>
[ cota: s/instrument/plugin ]
Signed-off-by: Emilio G. Cota <cota@braap.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
linux-user/main.c