Merge branch 'hotfix/v01.02.00.02'
-rw-r--r-- 12 .gitattributes
-rw-r--r-- 1045 .gitignore
-rw-r--r-- 139 .gitmodules
-rw-r--r-- 769 README.txt
drwxr-xr-x - builtins
drwxr-xr-x - debian
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - host
drwxr-xr-x - libm
-rw-r--r-- 4741 makefile
drwxr-xr-x - monitor
drwxr-xr-x - monitor_ipu
-rwxr-xr-x 96434 opencl-manifest.html
drwxr-xr-x - packages
drwxr-xr-x - profiling