Kernel, a printed circuit board