How to run examples in raspberry pi

Kuan Hsun Chen kuan-hsun.chen at
Mon Oct 17 11:24:38 UTC 2016


I guess you are reading the tutorial from Alan's blog:

>From my case, I just replace the kernel.img file in the boot section


2016-10-17 11:36 GMT+02:00 Amit Rawat <aamitr4 at>:

> Hi,
> I am new to rtems and I have generated kernel.img file of ticker.exe
> example. I have some doubt regarding the copying of kerne.img file to sd
> card. Should I replace the kernel.img file present in the boot section of
> the sd card with raspbian image written on it. Or there is another method.
> Thanks,
> Amit Rawat
> _______________________________________________
> users mailing list
> users at

M.Sc. Kuan-Hsun Chen

TU Dortmund
Department of Computer Science 12
Design Automation of Embedded Systems
Otto-Hahn-Strasse 16, Room 102

44227 Dortmund

Phone:  *+49 231 755 6124 <%2B49%20231%20755%206124>*
Mail:   kuan-hsun.chen at <kuan-hsun.chen at>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list