Maybe we should avoid the name "Kernel"... ;-)