Files: /arch/riscv/boot.html