I am trying to have my own seL4 demo on Sabre Lite board. 
I am using this command to create the image file: 
 ../init-build.sh -DPLATFORM=sabre -DCROSS_COMPILER_PREFIX=arm-linux-gnueabi- -DCAMKES_APP=adder 

After that I run this commands to boot the image:

fatload mmc 1 0x41000000 adder(image file)

The bootm command gives this error:

Wrong Image Format for bootm command

ERROR: can't get kernel image!

I tried bootelf but it stuck and does not show the correct answer:

 bootelf 0x41000000

CACHE: Misaligned operation at range [10598000, 105980a4]

CACHE: Misaligned operation at range [10599000, 105a3434]

CACHE: Misaligned operation at range [105a3434, 105a3c23]

CACHE: Misaligned operation at range [107fc000, 1080a038]

## Starting application at 0x10598000 ...

ELF-loader started on CPU: ARM Ltd. Cortex-A9 r2p10

  paddr=[10598000..1080a037]

No DTB passed in from boot loader.

Looking for DTB in CPIO archive...found at 1069c064.

Loaded DTB from 1069c064.

   paddr=[10038000..10042fff]

ELF-loading image 'kernel'

  paddr=[10000000..10037fff]

  vaddr=[e0000000..e0037fff]

  virt_entry=e0000000

ELF-loading image 'capdl-loader'

  paddr=[10043000..1019bfff]

  vaddr=[10000..168fff]

  virt_entry=188dc

ELF loader relocated, continuing boot...

Enabling MMU and paging

It seems It does not go to kernel-image entry point and bootstrap the kernel!

Is there any thing that I need to perform on board?

Thank you,

Parvaneh Aghajani.