Hi Paul Kamel
Unfortunately there isn't any step by step document that explain how to add the specific middleware for your application. There are some community post where you could check how they add some header files, but there will not necessary fix in your application, as reference:
Porting FatFs file system to KL26 SPI SD card code
My recommendation is base your code in the example code provided in the SDK package . You won't see the same structure in the sdcard_fatfs example and in the middleware folder because the example is using actually 2 middleware, one for the SD card control (sdmmc_2.1.2) and the one to mount the file system (fatfs_0.12b). Moreover, the middleware include headers and code for other specific application, like SD with SPI, usb_disk, etc. in this case the example only uses the fsl_sd_disk.c and the common files.
Now, as long as there isn't evaluation board for the MK20DN512VLL10, the pin and module compatible is the MK60D_10. bur the hardware implementation shouldn't be a big change.
Hope this information could help you.
Best Regards
Jorge Alcala