Leon3MP PThread Implementation