Kernel scheduler frequency
since a certain kernel version there is a possibility to switch my kernel scheduler between 100, 250 and 100 Hz. The default is 250 Hz. Does it make sence to change these values to a higher value even you are using jack in the realtime mode? Does it have any effect anyway?