Estaba mirando algunas bibliotecas con dumpbin y noté que todas las versiones de 64 bits estaban vinculadas a KERNEL32. ¿No hay KERNEL64 en Windows de 64 bits? Si no, ¿por qué?¿Windows de 64 bits usa KERNEL64?
Todos mis sistemas operativos son de 32 bits, así que no puedo simplemente mirar. Una búsqueda en google no aporta nada que valga la pena, así que sospecho que no hay KERNEL64, pero aún tengo curiosidad de por qué es esto.
EDIT: He encontrado esta tarde que es bastante útil. MSDN guide to x64
Esto es una tarea remota, pero podría estar relacionado con que Windows API sigue siendo el mismo. El kernel aún es definitivamente de 64 bits. –