search

seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
12 stars 29 forks source link

Use longer jump in riscv/crt0.S #14

Closed kgugala closed 2 years ago

kgugala commented 2 years ago

Simple jal fails to link when seL4 is built with user API functions defined as public in https://github.com/seL4/seL4/blob/master/libsel4/CMakeLists.txt#L13

The exact error message is:

sel4test2/projects/sel4runtime/crt/arch/riscv/crt0.S:38:(.text+0xe): relocation truncated to fit: R_RISCV_JAL against symbol '__sel4_start_c' defined in .text section in apps/sel4test-driver/sel4runtime/libsel4runtime.a(crt1.c.obj)
kent-mcleod commented 2 years ago

Thanks!