colocado os atributos de tempo real do RTAI para o Kernel do Linux.