Estoy usando Windows 7 Home Premium x64. Me preguntaba por qué exactamente el campo IMAGE_MACHINETYPE en el encabezado de ntoskrnl en mi directorio system32 especifica x86. IDA incluso me dejará desarmarlo como nativo x86.¿Por qué el campo de encabezado IMAGE_MACHINETYPE NTOSKRNL.exe está establecido en x86 solo en ciertas ediciones de Windows 7 x64?
Sin embargo, en mi máquina pro de Windows 7, image_machinetype es x64. ¿Me estoy perdiendo algo ... o por qué ntoskrnl es de 32 bits en un sistema operativo de 64 bits?
No puedo responder al porqué, pero tenga en cuenta que el cargador que realiza la carga de ntoskrnl.exe simplemente puede ignorar este bit y cargar el archivo como está ... Muy bien, busque ... – damageboy