Hello Etienne,
I am really sorry for long delay, I found out answer for you few days ago, but we are in bottleneck situation this week and I forgot to write you.
So, best way for you is use Autosar MCAL driver. This driver is ready to be used in operating system and it will be relatively simple to port it for your RTOS.
On the other hand I do not recommend you port SDK driver for MPC5748G. I think you would have done it at the end, but it will be much more complicated with uncertain result.
Regards,
Martin