diff options
Diffstat (limited to 'zkvms/jolt/guest/guest.ld')
| -rw-r--r-- | zkvms/jolt/guest/guest.ld | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/zkvms/jolt/guest/guest.ld b/zkvms/jolt/guest/guest.ld new file mode 100644 index 0000000..e4afb7b --- /dev/null +++ b/zkvms/jolt/guest/guest.ld @@ -0,0 +1,27 @@ +MEMORY { + program (rwx) : ORIGIN = 0x80000000, LENGTH = 10485760 +} + +SECTIONS { + .text.boot : { + *(.text.boot) + } > program + + .text : { + *(.text) + } > program + + .data : { + *(.data) + } > program + + .bss : { + *(.bss) + } > program + + . = ALIGN(8); + . = . + 4096; + _STACK_PTR = .; + . = ALIGN(8); + _HEAP_PTR = .; +} |
