Files from the international workshop on RISC-V for HPC, held at HPC Asia 25 in Hsinchu