Introduction + interest in a riscv64 port of GNU Mach/Hurd

Hi all,

My name is Diego Meretta. I'm starting to look into bringing up GNU Mach and
Debian GNU/Hurd on riscv64.

Before starting, I wanted to ask about the state of Hakan Candar's riscv64
stub port from the April 2025 thread ("[RFC] riscv64 stub port for GNU Mach
– compiles, early WIP"). Is that work still active anywhere? I'd rather
build on it than duplicate the early groundwork.

I'll send small patches as I go rather than sit on a large branch. Pointers
or warnings about dead ends are very welcome.

Thanks,
Diego Meretta