Est-ce que les patches de PpHd pour avoir je ne sais plus quelle feature utile pour linker des OS sont intégrés ?
N'oublie pas aussi de corriger le bug de ".word __ld_link_time_timestamp" (ou tout autre essai de faire rentrer un builtin dans une variable trop petite)