GRMON Evaluation Version UART debug no long working?

I just went from GRMON v3.2.11.1 to v3.2.13. I used to connect to my board with the command:

grmon -digilent -u

and then run a program, e.g.

grmon3> reset
grmon3> load myprogram.elf
grmon3> run

With v3.2.13 the exact same commands presents me with:

grmon3> run
  Debug support disabled!

What did I miss?

I’m using the open source version of GRLIB: Leon3 on a Digilent Arty-A7.

For what it’s worth: no debug-related command seems to work: disassemble, go, run all give the same error “Debug support disabled!”. bp-related commands give me “Invalid CPU!”.

I’ve pasted below the initial output of GRMON and the output of info sys. I see that dsu0 is disabled, but I don’t recall having changed anything to the board itself, and toggling switch 3 (DSU enable according to the design’s README) doesn’t change anything.

$ grmon -digilent -u

  GRMON debug monitor v3.2.13 64-bit eval version
  
  Copyright (C) 2021 Cobham Gaisler - All rights reserved.
  For latest updates, go to http://www.gaisler.com/
  Comments or bug-reports to support@gaisler.com
  
  This eval version will expire on 24/12/2021

JTAG chain (1): xc7a35t 
  GRLIB build version: 4261
  Detected frequency:  83.0 MHz
  
  Component                            Vendor
  LEON3 SPARC V8 Processor             Cobham Gaisler
  JTAG Debug Link                      Cobham Gaisler
  GR Ethernet MAC                      Cobham Gaisler
  SPI Memory Controller                Cobham Gaisler
  AHB/APB Bridge                       Cobham Gaisler
  LEON3 Debug Support Unit             Cobham Gaisler
  Xilinx MIG Controller                Cobham Gaisler
  Generic UART                         Cobham Gaisler
  Multi-processor Interrupt Ctrl.      Cobham Gaisler
  Modular Timer Unit                   Cobham Gaisler
  AMBA Wrapper for OC I2C-master       Cobham Gaisler
  SPI Controller                       Cobham Gaisler
  General Purpose I/O port             Cobham Gaisler
  General Purpose I/O port             Cobham Gaisler
  General Purpose I/O port             Cobham Gaisler
  
  Use command 'info sys' to print a detailed report of attached cores

grmon3> info sys
  cpu0      Cobham Gaisler  LEON3 SPARC V8 Processor    
            AHB Master 0
  ahbjtag0  Cobham Gaisler  JTAG Debug Link    
            AHB Master 1
  greth0    Cobham Gaisler  GR Ethernet MAC    
            AHB Master 2
            APB: 80000f00 - 80001000
            IRQ: 12
            edcl ip 192.168.0.175, buffer 16 kbyte
  spim0     Cobham Gaisler  SPI Memory Controller    
            AHB: fff00000 - fff80000
            AHB: 00000000 - 20000000
            IRQ: 10
            SPI memory device read command: 0x0b
  apbmst0   Cobham Gaisler  AHB/APB Bridge    
            AHB: 80000000 - 80100000
  dsu0      Cobham Gaisler  LEON3 Debug Support Unit    
            AHB: 90000000 - a0000000
            Device is disabled
  mig0      Cobham Gaisler  Xilinx MIG Controller    
            AHB: 40000000 - 50000000
            APB: 80000500 - 80000600
            SDRAM: 128 Mbyte
  uart0     Cobham Gaisler  Generic UART    
            APB: 80000100 - 80000200
            IRQ: 2
            Baudrate 38425, FIFO debug mode available
  irqmp0    Cobham Gaisler  Multi-processor Interrupt Ctrl.    
            APB: 80000200 - 80000300
  gptimer0  Cobham Gaisler  Modular Timer Unit    
            APB: 80000300 - 80000400
            IRQ: 8
            8-bit scalar, 2 * 32-bit timers, divisor 83
  i2cmst0   Cobham Gaisler  AMBA Wrapper for OC I2C-master    
            APB: 80000400 - 80000500
            IRQ: 3
  spi0      Cobham Gaisler  SPI Controller    
            APB: 80000600 - 80000700
            IRQ: 5
            FIFO depth: 4, 1 slave select signals
            Maximum word length: 32 bits
            Controller index for use in GRMON: 0
  gpio0     Cobham Gaisler  General Purpose I/O port    
            APB: 80000900 - 80000a00
            IRQ: 4
  gpio1     Cobham Gaisler  General Purpose I/O port    
            APB: 80000a00 - 80000b00
            IRQ: 6
  gpio2     Cobham Gaisler  General Purpose I/O port    
            APB: 80000b00 - 80000c00
            IRQ: 7