Outils pour utilisateurs

Outils du site


openbsd.org:arm64

Ceci est une ancienne révision du document !



[ OpenBSD ] ~ Traduction française de la page OpenBSD arm64 : (v1.32 ; 19/05/2020)


OpenBSD arm64

OpenBSD/arm64 est un port d'OpenBSD pour les différents systèmes basés sur ARM 64 bits.

Une liste de diffusion pour les ports basés sur ARM est disponible sur arm@openbsd.org. Pour joindre la liste de diffusion OpenBSD/arm, envoyez un message à majordomo@openbsd.org avec dans le corps “subscribe arm”. N'oubliez pas de vérifier notre politique de la liste de diffusion avant de souscrire.


Status actuel

Les plates-formes cibles actuelles sont , Allwinner A64 et H5, Amlogic G12A et G12B, AMD Opteron A1100, Ampere eMAG, Marvell ARMADA 7K et 8K, Rockchip RK3328 et RK3399, Broadcom BCM2711 et BCM2837 (Raspberry Pi 3), et Socionext SCA11.

Le média d'installation inclut le firmware requis pour démarrer les Pine 64/64+ et Raspberry Pi

Pour charger le firmware depuis la carte SD et avoir la racine sur USB après avoir installé OpenBSD, redémarrez et interrompez U-Boot avant la fin du compteà rebours et indiquez à U-boot de préférer l'USB à la carte SD.

Le Raspberry Pi 3 requiert des fichiers propriétaires mais redistribuables sur le disque système à charger dans le GPU VC4 qui démarre les cœurs ARM. Par défaut, la ROM d'amorçage essaiera seulement de charger ces fichiers depuis une carte SD. Ces fichiers sont présents sur le média d'installation mais il n'y a pas encore de pilote pour SD/MMC, donc un disque USB et des étapes manuelles sont requis. Pour charger le firmware depuis la carte SD et avoir le disque racine en USB après l'installation d'OpenBSD, redémarrez et interrompez U-Boot avant l'expiration du délai de temporisation :

Hit any key to stop autoboot:  0
U-Boot> setenv boot_targets usb0 mmc0 pxe dhcp
U-Boot> saveenv
U-Boot> boot

Le Raspberry Pi 4 est seulement supporté quand le micrologiciel UEFI basé sur EDK2 est utilisé. Par défaut, la ROM de démarrage essaiera de charger le micrologiciel sur une carte SD. Tout comme pour le Raspberry 3, il n'y a pas encore de pilote SD/MMC, mais il n'y a pas d'étapes manuelles nécessaires pour démarrer depuis une clé USB.

Les systèmes Ampere eMAG et AMD Opteron sont livrés avec un firmware UEFI en ROM et peuvent démarrer à partir de périphériques SATA ou USB sans fichiers de démarrage spécifiques sur le disque système.

La plupart des autres machines chargent leur firmware à partir du support de démarrage et requièrent des étapes supplémentaires pour créer un média d'installation démarrable. Lisez les instructions d'installations des instantanés d'OpenBSD/arm64 pour plus de détails.

Matériel supporté

OpenBSD/arm64 fonctionne sur le matériel suivant :

  • Allwinner A64 et H5
    • Pine 64/64+
    • Pine64 Pinebook
    • NanoPi A64
    • Orange Pi PC2
  • AMD Opteron A1100 (Seattle)
    • AMD Seattle Development Board
    • SoftIron OverDrive 1000
    • SoftIron OverDrive 3000
  • Amlogic G12A et G12B
    • Hardkernel ODROID-N2
  • Ampere eMAG
    • Lenovo ThinkSystem HR330A
    • Lenovo ThinkSystem HR350A
  • Broadcom BCM2711 et BCM2837
    • Raspberry Pi 3
    • Raspberry Pi 4
  • Marvell ARMADA 7K et 8K
    • SolidRun/Marvell MACCHIATObin
  • Rockchip RK3328 et RK3399
    • Pine64 ROCK64
    • Pine64 ROCKPro64
    • Pinebook Pro
    • Firefly-RK3399
    • FriendlyElec NanoPC-T4
    • Theobroma Systems RK3399-Q7
  • Socionext SC2A11
    • Socionext SynQuacer-E Developerbox

En général, d'autres cartes ou machines qui utilisent un des SOC listés ci-dessus fonctionneront tant que le firmware UEFI (ex: firmware U-Boot ou EDK II) soit disponible. Les arborescences périphériques et l'ACPI sont pris en charge. Il est possible qu'une mise à jour de l'arborescence périphérique mise à jour doit être fourni pour rendre OpenBSD fonctionnel.

Ethernet

  • https://man.openbsd.org/arm64/bse.4bse(4) - Broadcom GENET 10/100/Gigabit Ethernet intégrée dans le Raspberry Pi 4
  • dwge(4) - Synopsys DesignWare GMAC 10/100/Gigabit Ethernet intégrée sur Rockchip RK3399
  • dwxe(4) - Allwinner EMAC 10/100/Gigabit Ethernet intégrée dans Allwinner A64/H5
  • msk(4) - Marvell Yukon-2 10/100/Gigabit Ethernet intégrée dans OverDrive 1000
  • smsc(4) - SMSC LAN95xx 10/100 USB Ethernet intégrée dans Raspberry Pi 3

Stockage

  • ahci(4) sur AMD Opteron A1100, Marvell 7K et 8K, et SynQuacer-E
  • dwmmc(4) sur Rockchip RK3328 et RK3399
  • sdhc(4) sur Rockchip RK3399
  • sximmc(4) sur Allwinner A64 et H5

USB

  • dwctwo(4) sur Raspberry Pi 3
  • ehci(4) sur Allwinner A64 et H5, et Rockchip RK3328 et RK3399
  • xhci(4) sur Amlogic G12A/B, Ampere eMAG, Overdrive 1000, Raspberry Pi 4, Rockchip RK3399 et SynQuacer-E

Pas d'horloge temps réel : Bon nombre des appareils arm64 n'ont pas de batterie sauvegardant l'horloge en temps réel, mais ntpd(8) devrait être capable de compenser.

Obtenir et installer OpenBSD/arm64

La dernière version supportée d'OpenBSD/arm64 est OpenBSD 6.7. Voici les instructions d'installations d'OpenBSD/arm64.

Les snapshots sont disponibles de temps en temps, à cet endroit aussi bien que quelques miroirs. Voici également les instructions d'installation des instantanés d'OpenBSD/arm64.


Cette page est la traduction officieuse de la page “arm64” officielle d'OpenBSD.
En cas de doute, merci de vous y référer !

Si vous voulez participer à l'effort de traduction, merci de lire ce topic.


openbsd.org/arm64.1589978976.txt.gz · Dernière modification: 2020/05/20 12:49 de pengouinpdt