MEMORY
{
  /* NOTE 1 K = 1 KiBi = 1024 bytes */
  BOOTLOADER                        : ORIGIN = 0x08000000, LENGTH = 256K
  BOOTLOADER_STATE                  : ORIGIN = 0x08040000, LENGTH = 256K
  FLASH                             : ORIGIN = 0x08080000, LENGTH = 256K
  DFU                               : ORIGIN = 0x080c0000, LENGTH = 512K
  RAM                         (rwx) : ORIGIN = 0x20000000, LENGTH = 368K + 16K
}

__bootloader_state_start = ORIGIN(BOOTLOADER_STATE) - ORIGIN(BOOTLOADER);
__bootloader_state_end = ORIGIN(BOOTLOADER_STATE) + LENGTH(BOOTLOADER_STATE) - ORIGIN(BOOTLOADER);

__bootloader_dfu_start = ORIGIN(DFU) - ORIGIN(BOOTLOADER);
__bootloader_dfu_end = ORIGIN(DFU) + LENGTH(DFU) - ORIGIN(BOOTLOADER);