How to build firmware binaries (GIT8266O-879)

Checklist

• Checked the issue tracker for similar issues to ensure this is not a duplicate.
• Provided a clear description of your suggestion.
• Included any relevant context or examples.

Issue or Suggestion Description

In this folder, there are a few binaries that are used for flashing and an empty readme.
https://github.com/espressif/ESP8266_RTOS_SDK/tree/master/components/esp8266/firmware
How would one build those binaries? From what .c/.h files are they created?