to update the licence of TSIM in the virtualbox machine, copy 'tsim-leon3' in the folder /home/tp/RTEMS/tsim-eval/tsim/linux-x64/ check file execution rights before using it!