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