¿La programación del kernel de WINDOWS es un lenguaje ensamblador?

El kernel de Windows está escrito en lenguaje C. La mayoría de los núcleos de sistemas en el mundo se completaban usando el lenguaje C. Se usaban sistemas antiguos porque el lenguaje C todavía era avanzado en ese momento, y los sistemas modernos se usaban porque el lenguaje C tenía buena compatibilidad.

Para los sistemas Windows, solo la capa de abstracción de hardware y las cosas debajo de ella se completan mediante ensamblaje, y encima está el lenguaje C.

Los conceptos que mencionaste son todos conceptos del sistema operativo y no tienen nada que ver con la implementación específica del lenguaje. Es decir, no importa qué lenguaje se utilice, el programa ejecutable (o biblioteca) finalmente generado tendrá las estructuras que mencionaste, porque esto es necesario para la ejecución en Windows. Por ejemplo, el archivo PE es solo un formato, el punto de entrada es solo una posición relativa y la función de importación de la tabla es solo una disposición de algunas posiciones.

Por supuesto que lo entenderás mejor después de aprender a ensamblar, pero no importa si no lo aprendes. Debido a que el ensamblaje introduce la implementación subyacente de la computadora, estas estructuras son las estructuras de nivel más bajo. Basta con mirar el sistema operativo y lo entenderás.

Puede consultar el libro interno de Windows de MS Press.