tcpip → kernel Relation

File in ee/network/tcpip	Includes file in ee/kernel
src / sys_arch.c	include / kernel.h
src / sys_arch.c	include / kernel_util.h
src / include / arch / sys_arch.h	include / kernel.h