Description
The current Docker image includes only the ELF files stored in the build/ directory. However, the rv32emu-prebuilt repository contains a broader set of ELF files that could also be included. Alternatively, to minimize the Docker image size, the documentation could be updated with instructions on how to download the additional prebuilt ELF files separately.
Additionally, since rv32emu supports system emulation, it would be beneficial to build a dedicated executable for this purpose. This executable could be named rv32emu-system, while the existing ELF target one executable could be renamed rv32emu-user, similar with QEMU’s naming convention. The prebuilt Linux image is also available in the rv32emu-prebuilt repository. Similarly, to keep the Docker image lightweight, the documentation could be updated with guidance on downloading the prebuilt Linux image separately.