dove posso trovare una skeda tecnica di una versione del kernel di linux... comè cioè è progettato lo scheduling ec...