Kernel Linux com escalonador PDS
