I am doing a project where I rebuild the teensy 3.2 from scratch and me end goal is to eventually be able to program my rebuilt teensy to do a few specific things. I will be ordering all the components separately from manufacturers including the MK20DX256VLH7. Forgive me for the noobish question, but I'm wondering now if the MK20 will be able to interface with the standard teensy software (arduino IDE) if it comes straight from a manufacturer? Or will I need to do some more stuff when it gets here to make it compatible with arduino IDE?

Thank you,
Maxwell Conolly