What is a «kernel machine»?

TODO