Espruino/targets/esp8266/docs/80-The-platform_config.h.md

The Espruino build system generates a header file called platform_config.h. This file is a header file with a bunch of configuration settings. Do not edit this file directly. It is re-built by the makesystem.

• PC_BOARD_ID - "ESP8266_ESP12"

• PC_BOARD_CHIP - "ESP8266"

• PC_BOARD_CHIP_FAMILY - "ESP8266"

• SYSTICK_RANGE - 0x1000000

• SYSTICKS_BEFORE_USB_DISCONNECT - 2

• DEFAULT_BUSY_PIN_INDICATOR - (Pin)-1

• DEFAULT_SLEEP_PIN_INDICATOR - (Pin)-1

• IOBUFFER_XOFF - ((TXBUFFERMASK)*6/8)

• IOBUFFER_XON - ((TXBUFFERMASK)*3/8)

• RAM_TOTAL - (80*1024)

• FLASH_TOTAL - (512*1024)

• JSVAR_CACHE_SIZE - 1023

• FLASH_AVAILABLE_FOR_CODE - 506893.0

• FLASH_PAGE_SIZE - 1024

• FLASH_START - 0x8000000

• FLASH_SAVED_CODE_START - (FLASH_START + FLASH_TOTAL - FLASH_SAVED_CODE_LENGTH)

• FLASH_SAVED_CODE_LENGTH - 17395.0

• FLASH_MAGIC_LOCATION - (FLASH_SAVED_CODE_START + FLASH_SAVED_CODE_LENGTH - 4)

• FLASH_MAGIC ` 0xDEADBEEF

• USARTS - 1

• SPIS - 0

• I2CS - 0

• ADCS - 0

• DACS - 0

• DEFAULT_CONSOLE_DEVICE - EV_SERIAL1

• IOBUFFERMASK - 127

• TXBUFFERMASK - 127

• UTILTIMERTASK_TASKS - (16)

• IS_PIN_USED_INTERNALLY(PIN) - ((false))

• IS_PIN_A_LED(PIN) - ((false))

• IS_PIN_A_BUTTON(PIN) - ((false))