Hi,
I am very much interested in your project as I believe I have the expertise, knowledge, skills and tools to do your project. I am embedded software developer with more than 12 years of experience of professional embedded software development. Please take a look onto my profile to know more about me.
I have quite a lot experience of ARM processors specifically Cortex M0/M3/M4. I have written and used low level, middleware as well as higher level code. I have J-link debuggers, couple of STM32F development boards. I am going to buy MSP432E401Y Launchpad so that you get tested and working software.
I have quite a lot experience with IAR, ARM GCC and Keil compilers. For this project I want to know which compiler/toolchain you are using?
Regarding VL53L1X sensor, I already ported the API of this one as well as its prior VL53L0X to STM32 and ESP32 and therefore I believe it wouldn't be that difficult for me porting it to MSP432E401Y.
It will take at least 12 hours to start the project and finish porting the API.
Looking forward to hearing from you soon.
Ibrahim