like theconnactic said it, kernel and extensions aren't the same thing. What we have here, it's a 32-bit kernel, i.e. with "only" 32-bit instructions to launch 32-bit bootEFI for Intel solo-core procs (like a mini mac from 2006).
But, these procs have 64-bits instructions to launch 64-mode so it's why we can see the 64-bits kexts launched with a 32-bits kernel. It's normal, because it's a 64-bits system so the 64-mode launches by default if there's a proc with 64-bits instructions.
But in reality, only 32-bits part of these kexts are launched, even if you see 64-bits kexts !
You can verify this patched kernel with Terminal, tape lipo -info copy/pasteyourpatchedkernel and you'll see there's only 32-bits instructions!!!!



Sign In
Create Account















