nuttx/boards/arm/s32k3xx/mr-canhubk3/kernel
..
Makefile
s32k3xx_userspace.c