http://saics.sites.ufsc.br/palestra/sistemas-operacionais-embarcados-e-de-tempo-real-para-plataformas-multiprocessadas/