3 ms·* for a very specific, nonstandard definition of a kernel machine...by laingc 6y ago* for a very specific, nonstandard definition of a kernel machine...