S32DS could not find the gpio_hal component
for what purpose you need to use gpio_hal? GPIO pins can be controlled by pin_mux:PinSettings component. Here is list of PINS_DRV functions:
I am learning to use S32K144 chip recently. Can I send you an email directly? Sorry, my English is not very good.
sure - you can send me an email directly - email@example.com.
So - the best way how to start with learning is open an example and examine how it works:
Hope it helps.