Penser Tarte aux framboises, pensez à Linux, n’est-ce pas ? Cela a été le cas pendant les 11 années de la vie du Raspberry Pi. Il y a eu un bref intérêt pour Windows pour l’IoT, mais on n’en a pas beaucoup entendu parler depuis un certain temps. Installation de Windows 10 et Windows 11 sur un Raspberry Pi 4 n’est pas nouveau, mais Tiny11 pour Arm64 vise à rendre le programme d’installation de base plus petit et plus léger, ce qui est idéal pour le matériel du Raspberry Pi.
Tiny11 a a fait grand bruit ces derniers jours. Il propose une installation plus légère de Windows 11, idéale pour les machines plus anciennes et moins puissantes. La récente version de Tiny11 pour Arm64 a pris en charge Windows 11. Notre première enquête utilisé une carte micro SD comme périphérique de démarrage, une erreur que ce tutoriel corrigera.
Dans ce guide, vous apprendrez à installer Tiny11 sur un lecteur USB 3, puis à modifier l’horloge du processeur et à modifier la quantité de RAM disponible pour Tiny11. À la fin de ce tutoriel, le Raspberry Pi 4 démarrera directement dans Tiny11 et se sentira à l’aise pour les tâches quotidiennes. Notez que Tiny11 ne supporte pas le Wi-Fi natif du Raspberry Pi, un dongle USB peut être utilisé mais votre kilométrage peut varier. Le GPIO n’est pas non plus disponible.
Ce dont vous aurez besoin pour installer Windows 11 sur un Raspberry Pi 4
Configuration de Raspberry Pi pour démarrer à partir du SSD
Avant d’utiliser Windows 11 sur le Raspberry Pi 4 avec un SSD, nous devons d’abord nous assurer que le firmware et le chargeur de démarrage de notre Raspberry Pi 4 sont réglés sur la dernière version afin que nous puissions démarrer à partir de l’USB 3. À un niveau élevé, nous devons pour flasher le micrologiciel sur une carte micro SD, puis insérez-le dans le Pi.
Il copie le firmware sur le Pi et nous pouvons ensuite démarrer en USB. Le processus pour ce faire est détaillé dans notre Comment démarrer Raspberry Pi 4/400 à partir d’un SSD USB ou d’une clé USB. Veuillez suivre ces étapes avant de continuer.
Configuration de Tiny11 pour Arm64
Avant que Tiny11 pour Arm64 puisse être utilisé sur un Raspberry Pi, il doit d’abord être installé sur un lecteur USB 3. Pour ce faire, un PC Windows est utilisé avec un logiciel du projet Windows on Raspberry Pi. Cela crée une installation amorçable qui terminera l’installation et deviendra le nouveau lecteur d’amorçage.
1. Sur votre ordinateur Windows Télécharger le Tiny11 pour Arm64 ISO à partir des archives Internet.
2. Télécharger Raspberry Imager à partir de la page du projet Windows sur Raspberry.
3. Extrayez l’archive WoR dans un dossier sur votre bureau.
4. Connectez votre clé USB 3.
5. Allez dans le dossier WoR et double-cliquez sur l’application WoR.
6. Définissez votre langue et le mode Assistant avant de cliquer sur Suivant. Le mode assistant peut être laissé tel quel, ne le modifiez que si vous devez apporter des modifications de configuration avancées.
7. Sélectionnez votre périphérique de stockage, puis définissez le type de périphérique pour votre Raspberry Pi 4/400, puis cliquez sur Suivant. Veillez à sélectionner le bon lecteur pour éviter toute perte de données.
8. Sélectionnez le fichier image Tiny11 pour Arm64 téléchargé. et cliquez sur Suivant.
9. Vérifiez cette vue d’ensemble de l’installation pour toute erreur. Portez une attention particulière au lecteur de stockage et au type de périphérique. Lorsque vous êtes prêt, cliquez sur Installer.
dix. Attendez que le processus d’installation soit terminé. Cela peut prendre un certain temps, surtout si vous avez choisi d’utiliser une carte micro SD.
11. Cliquez sur Terminer pour terminer l’installation. Le lecteur peut maintenant être retiré du PC Windows.
Démarrer Tiny11 pour Arm64 sur un Raspberry Pi 4/400
Le premier démarrage de n’importe quel système d’exploitation prendra beaucoup plus de temps que les démarrages suivants. Ici, le lecteur USB 3 est configuré pour démarrer dans l’assistant de configuration qui ajustera l’installation pour répondre aux besoins de l’utilisateur.
1. Connectez la clé USB 3 au port USB 3 du Raspberry Pi 4 / 400.
2. Connectez votre clavier, souris, Ethernet, HDMI et enfin l’alimentation au Raspberry Pi. Le Pi démarrera et le premier démarrage prendra un certain temps, alors tenez bon. Le Wi-Fi ne fonctionne pas actuellement, vous aurez donc besoin d’une connexion Ethernet pour que la configuration puisse télécharger les mises à jour.
3. Suivez les instructions d’installation de Windows 11. Après un court instant, le bureau de Windows 11 s’affiche.
Dans l’état actuel des choses, il s’agit d’une installation assez utilisable de Windows 11 pour le Raspberry Pi 4. Tiny11 donne accès au Microsoft Store et à Microsoft Edge. Avec cette configuration de base, un utilisateur peut effectuer des tâches de base. Mais nous voulons pousser l’installation plus loin, et pour cela nous avons besoin de plus de RAM et d’un processeur plus rapide.
Booster Tiny11 pour les performances d’Arm64
Tiny11 se sent plutôt bien lorsqu’il est exécuté à partir d’un lecteur USB 3, mais nous pouvons l’améliorer. Voici les étapes pour overclocker le Raspberry Pi 4, initialement à un 1,8 GHz conservateur, mais si vous avez un refroidissement adéquat, les mêmes étapes peuvent être répétées pour pousser l’overclock plus loin.
Un overclock était possible jusqu’à 2,1 GHz. Après cela, votre stabilité dépend de la loterie du silicium. Un bon refroidissement est essentiel pour tout ce qui dépasse 2 GHz, alors investissez dans le meilleur boîtier de refroidissement pour le Raspberry Pi avant d’aller trop loin avec l’overclocking. L’un des meilleurs boîtiers refroidis passivement pour le Raspberry Pi 4 est Gem Pro d’Akasa. Il a l’air funky et l’accès GPIO est limité, mais il garde le Pi cool et silencieux.
1. Redémarrez Windows 11.
2. Appuyez sur ESC pour entrer dans le BIOS.
3. À l’aide du clavier, sélectionnez Gestionnaire de périphériques et appuyez sur Entrée.
4. Sélectionnez Configuration Raspberry Pi et appuyez sur Entrée.
5. Sélectionnez Configuration CPU et appuyez sur Entrée.
6. Sélectionnez CPU Clock et appuyez sur Entrée pour changer Default en Custom. La liste des options fournit une option Max attrayante. Mais nous vous conseillons de tester avec un overclock plus petit avant de maximiser le CPU.
7. Réglez l’overclock sur 1800 MHz et appuyez sur Entrée. 1,8 GHz est la nouvelle vitesse par défaut du Raspberry Pi 4. Il a fait ses débuts avec le Raspberry Pi 400 qui a un grand dissipateur thermique sous le clavier. Cet overclock est relativement sûr à utiliser sans refroidissement, mais nous vous conseillons d’utiliser un dissipateur thermique pour réduire les risques d’accélération thermique.
8. Appuyez sur F10 pour enregistrer la configuration, puis appuyez sur ESC pour revenir au menu de configuration du Raspberry Pi.
9. Dans le menu Configuration du Raspberry Pi, sélectionnez Configuration avancée et appuyez sur Entrée.
dix. Sélectionnez, puis désactivez Limiter la RAM à 3 Go. Appuyez sur F10 pour enregistrer. Cela permettra à Windows 11 d’avoir accès à toute la RAM de notre Raspberry Pi.
11. Appuyez plusieurs fois sur ESC pour accéder au menu principal du BIOS et sélectionnez Continuer. Appuyez sur Entrée pour redémarrer, puis entrez à nouveau pour réinitialiser le Raspberry Pi.
Le Raspberry Pi va maintenant redémarrer sous Windows 11 et l’ouverture du Gestionnaire des tâches confirme que le Raspberry Pi 4 a été overclocké avec succès à 1,8 GHz. Répétez ces étapes si vous souhaitez augmenter l’overclock.