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 <shiyao@gmail.com> 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 <john.backes@gmail.com> 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 nonsec
saveenv

more details here:

https://wiki.sel4.systems/Hardware/jetsontk1

- John

On Tue, Feb 14, 2017 at 1:43 PM, SHI, Yao <shiyao@gmail.com> 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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel