Souza, O., & Castro, H. (2007). OSPORT - A Practical Tool for Porting or Adjusting Operating System Source-Code. In Proceedings of the 4th Workshop on Operating Systems, (pp. 840-851). Porto Alegre: SBC.