non are built or no path to an embeddable application is specified

       time slice in a state other than BUSY

       time slice in a state other than BUSY

 - add list_swap()

 - rename struct
 - refactor code slightly
 - properly save and restore interrupt flags for critical sections

	     specifiers, as the pointer is already incremented in
	     _sprintc()

 - add leon_force_irq()
 - set multiprocessor interrupt for cross-cpu signalling
 - implement SMP functions
 - call smp_init() in setup_arch()

            interrupts enabled

* update EDF unit test