A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).