Super minor point _florent_: The LitePCIe architecture image shows DMAN having AXI-ST RX0 rather than RXN. Same for the TX.
also, I never tried Fedora (and systemd) on the genesys2 board (kintex, quad-full-rv64gc) -- maybe it's just the awful slowness of running with an emulated fpu on ecpix5 that causes it to time out. I should try that again (particularly now that opensbi works on full, gateware-fpu enabled rocket variants)
DerekKozel[m]: it seems to be gone :) Thanks
somlo: possible because I'm pretty sure the debian boot is Linux-on-LiteX-Rocket just ported to this Ali-Express Kintex7 board
and, to be pedantic, opensbi works just fine on fpu-less rocket variants, it's just not emulating the fpu on behalf of the payload, and the paloads I happen to care about all expect to have an FPU :)
richbridger has quit [Remote host closed the connection]