Porting FreeRtos on XEN

Partners & Sponsors ARM
1

Hi,

I am trying to port FreeRtos on XEN hypervisor.

Getting following error.

A15_Xen/asm/boot.o
…/…/Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s: Assembler messages:
…/…/Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:143: Error: selected processor does not support dsb' in ARM mode ../../Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:151: Error: selected processor does not support isb’ in ARM mode
…/…/Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:159: Error: selected processor does not support cps #0x17' in ARM mode ../../Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:159: Error: selected processor does not support cps #0x11’ in ARM mode
…/…/Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:159: Error: selected processor does not support cps #0x12' in ARM mode ../../Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:159: Error: selected processor does not support cps #0x1b’ in ARM mode
…/…/Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:159: Error: selected processor does not support cps #0x13' in ARM mode ../../Source/portable/GCC/ARM7_CA15_Xen/asm/boot.s:181: Error: selected processor does not support cpsid i’ in ARM mode
make: *** [Makefile:143: …/…/Source/portable/GCC/ARM7_CA15_Xen/asm/boot.o] Error 1

Thanks in advance

2

Maybe stating the obvious, but the processor core specified on your GCC command line doesn’t match the processor targeted by the assembly file.