Sorry, you need to enable JavaScript to visit this website.

Starting a application with u-boot on Microzed

9 posts / 0 new
smuk's picture
Starting a application with u-boot on Microzed

I'm trying to start a RTEMS application on the Microzed Board with u-boot. The .bin file is located on the SD card. I try it the following way:
1. fatload mmc 0 0x100000 ticker.bin
2. go 100000
Than it freezes with:
## Starting application at 0x00100000 ...

When I try to bootm the image of ticker.bin with:
1. fatload mmc 0 100000 ticker.img
2. bootm 100000
it freezes with:
## Booting kernel from Legacy Image at 00100000 ...
Image Name: RTEMS Application
Image Type: ARM RTEMS Kernel Image (uncompressed)
Data Size: 1039080 Bytes = 1014.7 KiB
Load Address: 30000100
Entry Point: 30000100
Verifying Checksum ... OK
Loading Kernel Image ... OK
## Transferring control to RTEMS (at address 30000100) ...

I use the U-Boot 2013.01-dirty version of u-boot. RTEMS is a bare metal application


hockeyman1972's picture

Have you tried simply launching it from a standard boot.bin using the FSBL generated in the Xilinx SDK?


smuk's picture
Yes I can start it from a

Yes I can start it from a standard boot.bin which I generate in the SDK. But I need to start the application in u-boot.

hockeyman1972's picture

  I'm aware that you can start standalone applications from U-boot, but I've never used that facility.  If I'm launching standalone, I just use the fsbl.  For Linux, I use u-boot.
However, you might find some useful information on the u-boot maintainers site here:

arturete's picture
Hi, I'm trying to launch the

Hi, I'm trying to launch the hello RTEMS sample application in a Zedboard but I achieved nothing. I will thank you so much if you can give me some advices or recomendations or whatever you can/know.
The steps that I followed  are these:
1.-First I compiled the RTEMS Souurce Builder for arm and I exported the path with the executables
2.-I compiled the RTEMS sources for the zedboard with these commands:
    2.1.- ../rtems/configure --target=arm-rtems4.12  --enable-tests=samples --enable-rtemsbsp=xilinx_zynq_zedboard --enable-networking --enable-posix --prefix=${HOME}/rtems-4.12-zed_net_posix
   2.2 make and make install
3.- I created a vivado project with the PS to generate the FSBL throug the hsi
4.-I copied the hello.exe and rename it to kernel.img with the
arm-rtems4.12-objcopy -Obinary hello.exe kernel.img
5.- I created the boot.bin with bootgen from a .bif with this content:
image : {
6.- I put the boot.bin, bitstream.bit and kernel.img files in the SD
7.- I started the Zedboard and the only thing in does is to turn on the DONE led indicating the FPGA has been configured, but it doesn't appear any message in the terminal I am using.

I don't know which format I have to give to the SD and I don't know what I am doing wrong
Thanks in advance
P.D.: sorry for my basic/bad english

JFoster's picture
Hello Arturete,

Hello Arturete,

Is your SD card the one that came packaged with the Zedboard? If not is it formatted to FAT32?


arturete's picture
Hello Jfoster

I'm not sure if this the SD is the original from the kit because I'm working in the university and we are some people working with different SDs.
But yes It is formatted with FAT32
If I print the partition table of the SD with fdisk this is the result:
arturete@ubuntu:~$ sudo fdisk /dev/sdc

Command (m for help): p

Disk /dev/sdc: 3991 MB, 3991928832 bytes
83 heads, 45 sectors/track, 2087 cylinders, total 7796736 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0x1bb12714

   Device Boot      Start         End      Blocks   Id  System
/dev/sdc1   *        2048     7796735     3897344    b  W95 FAT32
And I'm sure that I am connected to the board through gkterm because the UART led (RX) blink when I press enter. But the other led never blink(TX) when or after the board is booted.

Thanks for the fast reply.

JFoster's picture
Hello Arturete,

Hello Arturete,

Your SD Card is formatted correctly, just make sure it falls under the SD Card Guidelines we offer.


Here are a few other things to check out.

1. Make sure your terminal program is set up correctly. (see specs below)

Port:(Your COM PORT)

Baude rate : 115200

Data : 8 bit

Parity : none

Stop : 1 bit


2. Make sure your Zedboard is in SD boot mode. (see jumper palcement below)


MIO5 : 3V3 - SIG

MIO4 : 3V3 - SIG




3. Make sure you created your .bin file correctly. (see video below)


4. If all of these are done correctly, then your setup looks good. For any further help with your issue please post over at the Digilent forum as they are the main contact for education support.


arturete's picture
Thanks JFoster!! it works

All the setup was ok.
I created the FSBL.elf and the BOOT.bin with the SDK, as you indicated me in the last comment, instead of the terminal.

It started working when I used the hello.ralf file instead of the hello.exe, and I renamed it to hello.elf.

I putted those files plus the .bit in the SD and the application is launched and works.
As you told me for the next issues I will use the Digilent forum.