hello_rumprun app not worked
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. -- This email was Anti Virus checked by Security Gateway.
On Wed, Sep 2, 2020 at 2:38 PM MOHAMAD REZA SHAFIEI <mrshafiei@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
hi. Is there any GPMI NAND Flash driver example on camkes? i'm worked on imx7d for my university project but i didn't find any example for use NAND Flash and use it for store data. can you help me? i can port any other gpmi driver to imx7 but is there exists ? can someone help me? -- This email was Anti Virus checked by Security Gateway.
Hi there, We don't have GPMI driver unfortunately. You'll have to write one from scratch. I suggest you doing the CAmkES timer tutorial[1] first, to get an idea of how to gain access of the device memory and IRQ from seL4. Then, read the i.MX7 processor reference manual[2] (chapter 9.6) to understand how GPMI controller works. You could simply modify the .camkes file in the timer tutorial to have something to start with. You could also use the U-boot driver[3] as a reference. Regards, Siwei [1]. https://docs.sel4.systems/Tutorials/hello-camkes-timer.html [2]. https://www.nxp.com/products/processors-and-microcontrollers/arm-processors/... [3]. https://gitlab.denx.de/u-boot/u-boot/-/blob/master/drivers/mtd/nand/raw/mxs_... ________________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of mrshafiei@aut.ac.ir <mrshafiei@aut.ac.ir> Sent: Thursday, 10 September 2020 9:32 PM To: devel@sel4.systems Subject: [seL4] imx gmpi nand controller for use nand flash hi. Is there any GPMI NAND Flash driver example on camkes? i'm worked on imx7d for my university project but i didn't find any example for use NAND Flash and use it for store data. can you help me? i can port any other gpmi driver to imx7 but is there exists ? can someone help me? -- This email was Anti Virus checked by Security Gateway. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Hi there. I have some problem with my sel4 project, as you know, I'm work on my master project and develop a project on sel4 (camkes) which provide filesystem interfaces, and use ethernet and lwip network stack. This section is ok but sometimes my project crashed and my threads failed. In another words, I wrote my components and its work correctly but some times (rarely) my threads crashes and I couldn't find problem. So i decide to use a service like watch dog timer for garanty all of threads work and when one of therm failed or crashed, this mechanism detect it and start another thread or reset the system. A simple solution can implement is use some thread controlling (implement WDT in user mode). But I want to know is there in camkes or sel4 any mechanism for this need? a mechanism for garanti stability and system availability? can any body help me? Is there anybody which confront with this need? -- This email was Anti Virus checked by Security Gateway.
participants (5)
-
dinukaamarasinghe817＠gmail.com -
Kent Mcleod -
MOHAMAD REZA SHAFIEI -
mrshafiei＠aut.ac.ir
-
Zhuang, Siwei (Data61, Kensington NSW)