First code contribution, from INRIA SoC-Trace repository.
Merge branch 'master' of github.com:generoso/framesoc