RTEMS on Zynq Microzed

[Davide Viti]

Hi,
I own a Microzed board and recently managed to boot it using buildroot
using a recent (2015.07) uboot and the Zedboard DTS shipped in the Xilinx
repository of the linux kernel.
Given the above, I assumed I cuold try RTEMS on the Microzed, using the
Zedboard BSP.

I successfully built the toolchain and the BSP (xilinx_zynq_zedboard) out
of the latest version of the git repositories and I'm trying to boot the
hello.exe sample following these steps:

arm-rtems4.11-objcopy -R -S -O binary hello.exe hello.bin
mkimage -A arm -O rtems -T kernel -C none -n "RTEMS Application" -d
hello.bin hello.img

I write the hello.img file on the microSD along with:

 - BOOT.BIN
 - system.bit
 - u-boot-dtb.img

and u-boot starts fine:

---------------------------
U-Boot SPL 2015.07 (Sep 25 2015 - 09:24:38)
mmc boot
reading system.dtb
spl_load_image_fat_os: error reading image system.dtb, err - -1
reading u-boot-dtb.img
reading u-boot-dtb.img


U-Boot 2015.07 (Sep 25 2015 - 09:24:38 +0200)

Model: Zynq MicroZED Board
I2C:   ready
DRAM:  ECC disabled 1 GiB
MMC:   zynq_sdhci: 0
Using default environment

In:    serial
Out:   serial
Err:   serial
Model: Zynq MicroZED Board
Net:   Gem.e000b000
Error: Gem.e000b000 address not set.

zynq-uboot> fatload mmc 0 0x1000000 hello.img
reading hello.img
1039120 bytes read in 107 ms (9.3 MiB/s)
zynq-uboot> bootm 0x1000000
## Booting kernel from Legacy Image at 01000000 ...
   Image Name:   RTEMS Application
   Image Type:   ARM RTEMS Kernel Image (uncompressed)
   Data Size:    1039056 Bytes = 1014.7 KiB
   Load Address: 00000000
   Entry Point:  00000000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
## Transferring control to RTEMS (at address 00000000) ...

Could you please give me some advices?
Are there any known success stories with this board?

thank you in advance,
Davide
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/users/attachments/20150930/adcfa134/attachment.html>