Thanks John. I checked the bootm_boot_mode and it's already nonsec. Yao
On Tue, Feb 14, 2017 at 11:51 AM, John Backes <[email protected]> wrote: > Hi Yao, > > I'm not sure if this is the issue, but did you change the environment > variable in uboot so that the tegra will boot in nonsecure hyp mode?: > > setenv bootm_boot_mode nonsecsaveenv > > more details here: > > https://wiki.sel4.systems/Hardware/jetsontk1 > > - John > > > On Tue, Feb 14, 2017 at 1:43 PM, SHI, Yao <[email protected]> wrote: > >> Hi, >> >> I am trying to run CAmkES ARM VM on TK1. I downloaded built the image >> using: >> >> repo init -u https://github.com/SEL4PROJ/camkes-arm-vm-manifest >> repo sync >> make tk1_vm_defconfig >> make >> >> And then ran the image on the hardware. It stopped after loading seL4 in >> nonsecure HYP mode, >> >> Tegra124 (Jetson TK1) # bootelf >> CACHE: Misaligned operation at range [90000000, 90007408] >> CACHE: Misaligned operation at range [90007408, 9134c900] >> CACHE: Misaligned operation at range [9134c900, 9134c908] >> CACHE: Misaligned operation at range [91350000, 91360820] >> ## Starting application at 0x90000000 ... >> ELF loader: monitor mode init done >> Copy monitor mode vector from 90001000 to a7f00000 size 50 >> Number of IRQs: 192 >> Load seL4 in nonsecure HYP mode 600001da >> >> Then I tried to build a monitor mode image and got this, >> >> Tegra124 (Jetson TK1) # bootelf >> CACHE: Misaligned operation at range [90000000, 90007250] >> CACHE: Misaligned operation at range [90007250, 9134c710] >> CACHE: Misaligned operation at range [91350000, 91360820] >> ## Starting application at 0x90000000 ... >> ELF loader: monitor mode init done >> Copy monitor mode vector from 90001000 to a7f00000 size 50 >> >> ELF-loader started on CPU: ARM Ltd. Cortex-A15 r3p3 >> >> paddr=[90000000..9136081f] >> >> ELF-loading image 'kernel' >> paddr=[80000000..80031fff] >> vaddr=[e0000000..e0031fff] >> virt_entry=e0000000 >> ELF-loading image 'capdl-loader-experimental' >> paddr=[80032000..8155bfff] >> vaddr=[10000..1539fff] >> virt_entry=17580 >> Enabling MMU and paging >> Jumping to kernel-image entry point... >> >> abort() called. >> >> >> Anyone may tell me the possible problem? Thank you very much. >> >> >> Yao >> >> _______________________________________________ >> Devel mailing list >> [email protected] >> https://sel4.systems/lists/listinfo/devel >> >> >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
