Kernel application binary interface