<div dir="ltr">Hi,<div><br></div><div>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.</div><div><br></div><div>Thanks,</div><div>Amit Rawat</div></div>