wiki4164: ImprovedPpcInterruptToThreadLatency |
PPC SMP Kernel Acquisition Improvements#6.5.0 sees inkernel_wait support added for PowerPC SMP. Inkernel_wait was first introduced in 6.4.1. As the design was unchanged between the architectures, no additional design reviews were held. This feature has no implications for the Safety Manual. |