Only host that is still down is unfortunately my RISC-V board. owell o3o Nothing of importance runs there. Rebooting/shutting down is actually sometimes an issue with this board, chances are it's stuck somewhere and I will need to plug it into uart again... ehhh x.x