I am new to the Arduino and new to this board. I have a question, if I develop on the Arduino Teensy what would be the steps to move my project to my own PCB design and port the code to the microcontroller? For example, using the Teensy 3.5 development board. Is the Arduino code compatible to the MK64FX512VMD12?