Hi,

Does any one aware of the linux real time scheduler which is compact and more efficient than existing ones.

Also where can i check for currently running scheduling mechanism.

Can any one please let me know. Thanks.