SKELがサポートされたmacOSでは、Macが他社製カーネル機能拡張の影響によりカーネルパニックを起こした場合、他社製のカーネル機能拡張が全て無効化される「パニック修復ブート」が導入されている。