We have been using this image for the TK1-SOM not the Jetson. Perhaps that is the issue?
- John On Tue, Feb 14, 2017 at 1:57 PM, SHI, Yao <[email protected]> wrote: > 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
