Platform Specific Kernel Implementation