On Wed, Sep 2, 2020 at 2:38 PM MOHAMAD REZA SHAFIEI <mrshafiei(a)aut.ac.ir> wrote:
i'm recently worked on sel4 with camkes framework. when i compile rumprun_hello on
x86_64 platform its compiled and build correctly but when run with qemu by ./simulate
script, program crashed with this errors:
firstname.lastname@example.org:600 simple_get_extended_bootinfo_length not
FAULT HANDLER: data fault from hello.hello_0_control (ID 0x1) on address 0x8, pc =
0x402b7f, fsr = 0x6
FAULT HANDLER: Register dump:
FAULT HANDLER: rip :0x402b7f
so i found that this method not implemented yet so i return 0 in this method and
for second problem that cause failure if trace program and i found that in "init
rumprun" process the program failed in the
/projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/thread_arch.h file and
so i read git log and in recently commit your team use sel4runtime for thread TLS, so
when we run rumprun_hello, the program failed in sel4runtime_set_tls_base method. can you
help me fix this bug?
thanks for your attention.
Hi, this has been a known issue for a while and the apps were taken
out of the CI until it was resolved. This recent PR tries to finally
address the underlying issue:
It also links to some other PRs that fix build issues that you seem to
have already resolved. Hopefully, this addresses your issue!
This email was Anti Virus checked by Security Gateway.
Devel mailing list