He modificado algunos archivos en el kernel de Linux.

include/linux/tcp.h
include/net/tcp.h 
net/ipv4/sysctl_net_ipv4.c
net/ipv4/tcp_output.c

Después de esto compilé el kernel de Linux modificado

$ make modules_install  
$ make headers_install INSTALL_HDR_PATH=/usr/include  
$ make install  

El nuevo kernel puede comenzar, todo parece normal. Pero cuando intenté incluir el encabezado del kernel modificado en mi aplicación, el compilador se queja de que el encabezado NO define los tipos que acabo de agregar. Al verificar/usr/include/netinet/tcp.h, encuentro que NO es el archivo que modifiqué.

Q.¿Cómo puedo exportar correctamente los encabezados de kernel de Linux modificados para incluirlos en un programa C? ?