On 2/2/23 14:21, Jiaxun Yang wrote:
This board had been deprecated long ago.
s/deprecated/removed/
Indeed, in commit f169413c27 ("hw/mips: Remove the 'r4k' machine").
Signed-off-by: Jiaxun Yang <jiaxun.y...@flygoat.com> --- docs/system/target-mips.rst | 14 -------------- 1 file changed, 14 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <phi...@linaro.org>
