tree f722dec91b00962ab14c378f9afa591954df8069
parent c27050513503f615137950cb3918f6f040f34407
author Marcin Witkowski <mwitkowski@antmicro.com> 1637159057 +0100
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1637721080 +1100

Use longer jump in riscv/crt0.S

Simple `jal` fails to link when seL4 is built with user API
functions defined as public.

Signed-off-by: Marcin Witkowski <mwitkowski@antmicro.com>