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
