Kernel manager: execution supported