Lo primero para compilar el kernel es instalar las fuentes, una buena manera es descargando las fuentes desde internet con los siguientes comando:
# cd /usr # make src-create
despues de un largo rato ya tendriamos las fuentes del kernel instalados,ahora procedemos a compilarlo:
# cd /usr/src # make nativekernel
Si no hay error se puede proceder a instalarlo:
# make installkernel
Archivos de interez para el proyecto:
/usr/src/sys/netinet/tcp_input.c
/usr/src/sys/netinet/tcp_output.c
Funcion para escribir por pantalla desde el kernel
kprintf("Variable 1: d\n",var1, var2);
Linea de interes en tcp_input 1380
Eso es todo :)