Milk-V Duo256m LED GPIO


I tried to make the LED blink using the RTOS core on a Duo256m. There is this nice thread here, however it seems that on the Duo256m is not connected to an XGPIO pin anymore, but to a PWR_GPIO pin (mentioned also here).

Is there any documentation available, or does anyone happen to know, how to operate these pins? In particular, where is the data direction register, and where is the pinmux register? It seems the latter one is at 0x030010AC, but does it work the same way as the XGPIO pinmux registers work?