libkern API обеспечивает служебные функции, которые полезны для работы с драйверами устройств от пространства пользователя, включая синхронизацию, атомарные операции и управление расширением ядра.