There are no default files. At least, none that you can do anything with. If you cooked your firmware you will have to send it in. (Based on the assumption that if you are asking this question you don't know how to flash firmware anyway) If you're asking how to reset the NDS to defaults, remove the battery for 10 seconds, then replace.