En raison d’un problème connu dans la fonction de décompression de U-Boot, vous pouvez voir que HPS ne démarre pas sous Linux si le fichier Image.gz est utilisé comme Image Linux.
Intel recommande d’utiliser le fichier Image d’origine ou le fichier Image.lzma.
Vous pouvez suivre le GSRD pour obtenir le fichier Image.lzma, ou vous pouvez le générer séparément par la commande « xz --format=lzma -k Image ».