Porting the Darwin kernel to the ARMv7/ARMv6-A architectures.