Take a look at grblHAL. It is a 32 bit verison of GRBL that runs on a number of ARM and other microcontrollers. It supports SD Card source for GCode. It also supports an Ethernet interface so you don't need to have the PC next to the machine and you could load the GCode over Ethernet. https://github.com/terjeio/grblHAL