On Wed, Sep 2, 2020 at 2:38 PM MOHAMAD REZA SHAFIEI <mrshaf...@aut.ac.ir> wrote: > > hi. > 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: > simple_get_extended_bootinfo_length@simple.h:600 > simple_get_extended_bootinfo_length not implemented > 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 resolved. > 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 sel4runtime_set_tls_base method. > 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: https://github.com/seL4/camkes-tool/pull/41. 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 > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
