We need a Linux expert to compile a custom kernel with a few options (One 1000Hz and one Tickless kernel). Besides that all junk should be removed from the kernel, such as USB drivers, ISDN subsystem etc etc. Anything not needed for a gameserver should be removed.
We're in a hurry to get the new kernel. We would like to spend around $50 for this job to be done.
Testing a new kernel will be done by us, to ensure the failsafe is inplace incase the new kernel doesnt reboot. (Server is located in a datacenter, and we don't have direct access to look at the screen, or select a previouse kernel).
We would like 2 kernels, with the only differace that one is configured at 1000Hz, and the other as tickless, so we can test what performs best.