@diego_charlesThanks for the link, I was able to get one of the files that I needed.
However, I am also looking for the BSDL file for the MK64FN1M0VLL12 device. When I search for it, the link that is next to the BSDL file is a *.zip file containing a hanful of *.IBS files, but no BSDL.