En BSD es común verlo como mach_kernel, en linux vmlinuz, en Mac OS X mach_kernel, etc.