Hi, does anyone know how much address space the management core can access via the user wishbone bus? The documentation says that it starts at 0x3000_0000, but I can't seem to find a size. I was expecting this would mean it has a 28bit address, but in practice it seems I can only get the management core to use a 20bit address. The address I use for the wishbone bus I've defined in user space uses a 28bit address, so it means I can't access everything from the management core.