/atos/boot/rv64/