Thanks for Michael Engel's help, I reach the point about the first run of example. The board I used is the module A and USB to TTL Serial Cable(http://www.adafruit.com/products/954) I also check on http://alanstechnotes.blogspot.de/2013/03/running-your-first-rtems-program-on.html to know how to place the file into SD card. This is the way I generate the kernel by the example: arm-rtems4.11-objcopy -Obinary /home/khchen/development/build-rtems-rpi/arm-rtems4.11/c/raspberrypi/testsuites/samples/ticker/ticker.exe kernel.img However, I find that it is not that trivial to just copy kernel.img into the card! We first have to format the SD card via the mkcard.txt script before copying the kernel. (wget http://downloads.angstrom-distribution.org/demo/beaglebone/mkcard.txt ) "use dmesg | tail" to find out the removable disk label, e.g., sdb. sudo ./mkcard.txt /dev/sdb (run it twice in my case) First time, it will report this "the device apparently does not...
Here record some exciting moments I experience during my ES / RTOS researches.