Le noyau Tiny11 pour ARM64 est sorti avec des performances améliorées et une empreinte disque réduite