wiki4164: ImprovedPpcInterruptToThreadLatency (Version 2) |
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. |