Set up build for S32K148 platform on Windows

Open a Ubuntu 22.04 shell running in WSL.

From there, follow the instructions in Set up build for S32K148 platform on Ubuntu 22.04.

Next Flash, debug and test serial console on Windows