Hi Hesham, I use the following command to get the sel4test projects, and I see that the kernel is version 4.0.0-dev.
repo init -u https://github.com/seL4/sel4test-manifest.git The following is the my compilation process: *make sabre_debug_xml_defconfig* *make* *arm-linux-gnueabi-objcopy --output-target binary sel4test-driver-image-arm-imx6 bootimg.bin* *tftpboot 0x20000000 bootimg.bin && go 0x20000000* I have tried to load the image to physical address 0x30000000, but it doesn't run. Best Regards, Shijun 2017-03-21 7:15 GMT+08:00 <[email protected]>: > Hi Shijun, > > The load physical address of the kernel does not seem to be right. May I > ask which kernel revision are you using? How did you get the repo and how > do you run it? > > Regards, > Hesham > On 20/03/17 20:15, shijun zhao wrote: > > Hi everyone, > > > > I am running sel4 on i.mx6q sabre board. I use the > > sabre_debug_xml_defconfig config file. However, the image stops at > > "Jumping to kernel-image entry point..." when I run it on the board. > > Following is the printed messages: > > > > ## Starting application at 0x20000000 ... > > > > ELF-loader started on CPU: ARM Ltd. Cortex-A9 r2p10 > > > > paddr=[20000000..2030081f] > > > > ELF-loading image 'kernel' > > > > paddr=[80000000..80032fff] > > > > vaddr=[e0000000..e0032fff] > > > > virt_entry=e0000000 > > > > ELF-loading image 'sel4test-driver' > > > > paddr=[80033000..80406fff] > > > > vaddr=[10000..3e3fff] > > > > virt_entry=203d0 > > > > Enabling MMU and paging > > > > Jumping to kernel-image entry point... > > > > > > > > There are some warnings during compilation, all of which are caused by > > arm-none-eabi/bin/ld. And I see that the sel4 wiki shows how to solve > > the warnings: > > > > /To fix, > > do make menuconfig visit seL4 Libraries→Build musl C Library and > > untick libmuslc use precompiled archive then do make clean and attempt > > to rebuild. > > / > > > > > > However, there is no /Build musl C library/ in my menuconfig, and there > > are only /libmuslc /and /libsel4muslcsys /options in the seL4 libraries. > > > > > > Can anyone tell me how to solve this problem? Thanks! > > > > > > Best Regards, > > > > Shijun > > > > > > > > > > _______________________________________________ > > Devel mailing list > > [email protected] > > https://sel4.systems/lists/listinfo/devel > > > > -- > Hesham Almatary > Kernel Engineer > DATA61 | CSIRO > E: [email protected] > www.data61.csiro.au >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
