On 05/11/24, Philippe Mathieu-Daudé wrote:
The machine datasheet mentions the GPIO device as
'xps_gpio'.
Rename it accordingly to easily find its documentation.
Signed-off-by: Philippe Mathieu-Daudé <philmd(a)linaro.org>
---
hw/microblaze/petalogix_s3adsp1800_mmu.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Anton Johansson <anjo(a)rev.ng>