a config file for compiling a fast Linux RT aka realtime preemptible kernel for audio and video workstations