> > > Are these binaries available publically somewhere on the internet?
Currently, as far as I know, there are no prebuilt binaries — only source files for the bootloader and firmware examples in the NEORV32 repository. I compile the binaries and prepare the flash image locally. > If so, > could you please add a test in tests/functional/riscv32 that make sure > that > the machine is basically working, so we don't face any regressions in the > future? > I can upload the generated image to my GitHub repository, or alternatively to some QEMU-related storage if there’s a preferred location? The test image is around 4 MB, plus a few kilobytes for the bootloader. I will add the test of course. Thanks for the review and feedback!
