forked from Imagelibrary/rtems
There is no need to wait on secondary processors for the GIC distributor enable since the BSPs for real targets start the secondary processors in _CPU_SMP_Start_processor().
There is no need to wait on secondary processors for the GIC distributor enable since the BSPs for real targets start the secondary processors in _CPU_SMP_Start_processor().