Apple has an RTOS, called RTKit, that it uses for certain devices that have to hit ridiculously tight timing windows, or which don't have enough resources to support a full xnu kernel, such as the AirPods and Apple Pencil.