Thanks,
meanwhile, I tried to set BUILD_TEST = False which helped, too. I do not understand what is “BSP configuration spec file”.
At next, problems with the architecture setting persists. The BSP as well as the application is built with -march=rv64imafdc option regardless RTEMS_SMP is set to True or False. However, you wrote that if SMP is off then the build is done for e51 hart. It does not look so as the used architecture does not match the architecture of this hart.
Please, what is the nominal way how to set the architecture option? For the simplicity, I would like to use -march=rv64imac anytime and on any hart to prevent problems. I do not need floating point operations at this moment.
The function _CPU_Start_multitasking is missing anytime SMP is off. It is not a problem of the cleaning.
Take a look at cpu.h:
(line 460) #ifdef RTEMS_SMP
…
(line 504) #define _CPU_Start_multitasking( _heir ) _RISCV_Start_multitasking( _heir )
#endif /* RTEMS_SMP */
Maybe, it is fine. Maybe, it is a bug in the BSP.