Chez Acekard on appel le système d'exploitation, un firmware pas un kernel.
Sur ez5 c'est un kernel tout simplement.
Le firmware correspond au code interne du FPGA.
Sur cyclods evo c'est un firmware.
Autant dire chacun y va de sa propre appelation.
Mon avis sur cette section ? usine a gaz en vue !
Ensuite je suis pas sur que ce soit super compatible avec la charte du forum.