* patch by Reynaldo to generate kernel image for the raspi2 embedded port, resolves #27052

git-svn-id: trunk@45365 -

compiler/systems/t_embed.pas

@@ -1653,6 +1653,10 @@ begin
         success:=DoExec(FindUtil(utilsprefix+'objcopy'),'-O binary '+
           FixedExeFileName+' '+
           maybequoted(ScriptFixFileName(ChangeFileExt(current_module.exefilename,'.bin'))),true,false);
+{$ifdef ARM}
+      if success and (current_settings.controllertype = ct_raspi2) then
+        success:=DoExec(FindUtil(utilsprefix+'objcopy'),'-O binary '+ FixedExeFileName + ' kernel7.img',true,false);
+{$endif ARM}
     end;
 
   MakeExecutable:=success;   { otherwise a recursive call to link method }