Comment by boredatoms

I cant see debian remaining on rv64gc later on when enough rva23 boards are purchasable