OpenBSD/sgi

A l'heure actuelle, OpenBSD/sgi fonctionne sur les stations de travail SGI O2 à base de MIPS 64 bit.

OpenBSD/sgi est un port 64 bit comportant toutes les fonctionnalités 64 bit. Il pourra donc fonctionner sur tous les processeurs 64 bit à partir du R4000.

Table des matières

• Historique du port
• Etat actuel
• Projets
• Matériel supporté
• Obtenir et installer OpenBSD/sgi

Historique :

Le port OpenBSD/sgi a été créé en se basant sur le port OpenBSD/arc, initié tôt dans l'histoire d'OpenBSD. Le support Arc a été rapidement interrompu en raison du manque d'intérêt et de la disponibilité de matériel décent. Le support OpenBSD Mips a été alors assuré en dehors du projet OpenBSD. A partir du moment où le matériel SGI est devenu plus accessible et facile à obtenir, l'intérêt d'avoir un port SGI dans l'arborescence a augmenté. Le composant final, un toolchain 64 bit fonctionnel, est désormais disponible et le port OpenBSD pour SGI 64 bit est maintenant disponible et géré au niveau de l'arborescence des sources OpenBSD.

Etat actuel :

A l'heure actuelle, OpenBSD/sgi fonctionne en mode 64 bit et démarre en mode multi-utilisateurs sur les systèmes supportés. Des snapshots sont mis à disposition périodiquement au fur et à mesure que le port se développe et s'étend.
Fin 2007, le port a été amélioré avec l'ajout du support du framework wscons(4). Ceci rend possible l'utilisation de la "glass console".

Projets (sans ordre particulier):

• Trouver un moyen de contournement pour les comportements relatifs à la cohérence des processeurs R10000
• Espace utilisateur de la mémoire virtuelle plus grand (actuellement limité à 2Go)
• Supporter d'autres matériels SGI tels que l'Origin 200, l'Octane, etc.
• Supporter les systèmes multi-processeur (hors NUMA)

Matériel supporté :

Modèles supportés

• O2 (alias Moosehead) dotée des processeurs R5000, RM5200, RM7000, R10000 et R12000. Les caches de niveau 2 sont supportés sur tous les processeurs. Le cache niveau 3 du RM7000 est supporté.
  • Système SCSI Adaptec AIC-7880 embarqué (ahc)
  • Carte Ethernet embarquée (mec)
  • Ports série embarqués (com)
  • Port d'extension PCI 64 bit
  • Les cartes PCI Ethernet à base d'Intel i8255x (à l'exception du i82556) (fxp)
  • Audio intégré (mavb)
  • Vidéo intégrée (gbe)
  • ContrrôleurPS/2 intégré (mkbc)
  • Claviers PS/2 (pckbd)
  • Souris PS/2 (pms)
  • Bouton de gestion d'alimentation (power)

Périphériques supportés

La plupart des modèles comportant un port d'extension PCI, plusieurs périphériques PCI pourraient fonctionner. Cependant, chaque périphérique doit être testé avant d'être déclaré comme supporté. En conséquence, si le support d'un périphérique particulier est souhaité, le matériel adéquat doit être mis à disposition d'un développeur qui testera et vérifiera le fonctionnement du matériel.

Veuillez contacter Per Fogelström pour plus d'informations.

Obtenir et installer OpenBSD/sgi :

La dernière version disponible et supportée d'OpenBSD/sgi est OpenBSD 4.1. Voici les instructions d'installation d'OpenBSD/sgi 4.1.

Des snapshots sont mis à disposition de temps à autre, à cet endroit ainsi que sur quelques miroirs. Voici également les instructions d'installation des snapshots d'OpenBSD/sgi.

En raison de problèmes de stabilité du noyau sur cette plate-forme avec la base de code 4.2, la version 4.2 ne supporte pas cette plate-forme. Depuis, les problèmes ont été réglés et sgi devrait de nouveau faire partie des plates-formes régulièrement supportées à partir de la prochaine version 4.3.