Compile and Deploy a Real-Time Kernel to the ComfilePi The generic kernel employed the the default ComfilePi operating system