I’d like to create a custom runtime for the Microchip MI-V softcores. They are not 100% supported by the GNAT runtimes, since they have no support for the “c” (compressed instructions) extension. So rv32-im is missing the “a” and rv32-imac has the additional “c”. Of course the code runs with rv32-im anyway and “a” is typically not required without SMP (as far as I know).
Nevertheless I like to use the CoreUARTapb peripheral for standard Put, so a custom runtime makes sense.
Now my main issue: The core can be configured with or without FPU. Since the only difference between rv32-imac and rv32-imafc is the runtime.xml with the the -march and -mabi compiler flags, I’d like to make those flags configurable using alire. Can I just remove the runtime.xml and put the switches into the runtime_build.gpr?