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@xxxxxxxxxx> > --- > hw/microblaze/petalogix_s3adsp1800_mmu.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Reviewed-by: Anton Johansson <anjo@xxxxxx>