diff options
author | Jiaxun Yang <jiaxun.yang@flygoat.com> | 2023-02-02 13:21:36 +0000 |
---|---|---|
committer | Philippe Mathieu-Daudé <philmd@linaro.org> | 2023-03-07 18:08:12 +0100 |
commit | abe45a859b897736d7f428f58d1e5cab4fec4ddf (patch) | |
tree | 46cf7c2887825849beb0da9f40525107f6096976 /pc-bios | |
parent | 9832009d9dd2386664c15cc70f6e6bfe062be8bd (diff) |
docs/system: Remove "mips" board from target-mips.rst
This board had been removed long ago in commit f169413c27
("hw/mips: Remove the 'r4k' machine")
Signed-off-by: Jiaxun Yang <jiaxun.yang@flygoat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-Id: <20230202132138.30945-2-jiaxun.yang@flygoat.com>
[PMD: Mention commit f169413c27]
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Diffstat (limited to 'pc-bios')
0 files changed, 0 insertions, 0 deletions