Indeed the page www.pjrc.com/store/teensy40.htm indicates "(64K reserved for recovery & EEPROM emulation)"
Indicated below - the recovery program only takes 4K - but the 60K of EEPROM space is mapped many to one for wear leveling:
Code:
EEPROM Emulation - 60K of Flash memory is reserved for EEPROM emulation. Normally the Arduino EEPROM library is used, but the AVR eeprom functions are also supported for compatibility with legacy code. During uploading, this portion of the Flash is not erased or altered, so your data saved in the "EEPROM" is retained.
Restore Program - When you press the Teensy 4.0 pushbutton for 15 seconds (a quick flash on the red LED will tell you the moment to release), all of the Flash except this 4K is erased, and this known-good LED blink program is copied to the beginning of the Flash. This top 4K is special read-only memory, so you can always use this 15 second button press to fully erase your Teensy 4.0 and restore it to a known-good blink program.
Size is made clear on this page: pjrc.com/teensy/td_libs_EEPROM.html:
Code:
Board EEPROM Size
Teensy 4.1 4284 bytes
Teensy 4.0 1080 bytes
Teensy 3.6 4096 bytes
Teensy 3.5 4096 bytes
...
But not the effective size of the EEPROM space after the emulation which is also not included in the device table here : www.pjrc.com/teensy/