From 71db742684adadcc0ea202b1c3257c640227d65e Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Fri, 17 Jan 2025 17:10:26 +0200 Subject: feat(zkvms): Add jolt guest and it's macro Had to reimplement and modify the build macro function so it would take an elf path, instead of always doing a manual build. Additionally, had to hard-code a **lot** of values. --- zkvms/jolt/guest/guest.ld | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 zkvms/jolt/guest/guest.ld (limited to 'zkvms/jolt/guest/guest.ld') 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 = .; +} -- cgit v1.2.3