On 28/09/2020 17:24, Kinsey Moore wrote: > +#include <rtems/score/cpu.h> > + > + > +void *_CPU_Thread_Idle_body( uintptr_t ignored ) > +{ > + while ( true ) { > + __asm__ volatile ("wfi"); > + } > +} > + Too many blank lines.