STM32 PORT_DIR
Type fixes
Merge branch 'master' of github.com:Nitjsefni/PUT_PTM13_Benchmark