| MEMORY |
| { |
| /* |
| For debugging, use 8M rom, 8M prog, 16M ram. |
| */ |
| rom (rx) : ORIGIN = 0x20000000, LENGTH = 0x0800000 |
| prog (rx) : ORIGIN = 0x20800000, LENGTH = 0x0800000 |
| ram (!rx) : ORIGIN = 0x10000000, LENGTH = 0x1000000 |
| } |
| |
| MPU_MIN_ALIGN = 1K; |
| SECTIONS { |
| /* |
| * The flash header needs to match what the boot ROM for OpenTitan is |
| * expecting. At the moment, it contains only the entry point, but it |
| * will eventually contain the signature -- and (hopefully?!) some |
| * versioning information to make it slightly easier to debug when the |
| * boot ROM and Tock are out of sync with respect to the definition... |
| */ |
| .flash_header : { |
| LONG(_stext) |
| } > rom |
| } |
| |
| INCLUDE kernel_layout.ld |
