Récemment, j’ai installé une Ubuntu sur un PC équipé comme suit :
- disque 1 : SAS (Serial-Attached-SCSI) contenant un windows
- disque 2 : SATA vide prévu pour l’Ubuntu
- disques 3 et 4 : 2 HD SATA de données.

Il n’y avait donc qu’un boot XP normal sur le SAS.

Ordre de boot…

Au départ, le BIOS (d’une marque connue qui ne permet rien ou si peu dans son BIOS) pointait sur le SAS puis SATA dans l’ordre de boot.
J’ai choisi de mettre GRUB sur le disque SATA (et ainsi ne pas flinguer le MBR du Windows). Comme ça les OS ignorent presque que l’autre est là et je peux surtout virer un des 2 disques sans devoir réinstaller le MBR de l’un ou de l’autre.

J’ai donc dû inverser l’ordre de boot dans le BIOS. Rien de surprenant jusque là.
Comme on ne peut pas préciser dans ce BIOS quel SATA ou quel SAS doit booter lorsqu’il y en a plusieurs, c’est donc le premier – pas d’autre possibilité.
Ce premier détail – on s’en rend compte après une première install d’Ubuntu sur le SATA où rien ne boote – force à organiser ses disques (mes SATA en l’occurrence) de sorte que l’Ubuntu soit sur le premier SATA. Au départ, dans mon cas, c’était le dernier (je venais de l’ajouter…)

sda, non, sdd, non (hd3,0) non plus… raaaaaah

J’ai fait plusieurs réinstall de la chose et ça ne s’est pas vraiment passé 2 fois pareil au niveau de la détection des disques durs, donc de l’ordre d’apparition, donc de leurs noms, donc de la conf GRUB. Parfois tout marchait tout seul, parfois après install, plus rien ne bootait (ni Ubuntu, ni Windows).
Un conseil donc, avant de lancer l’installation Ubuntu, lorsque vous êtes en liveOS, vous repérez bien le nom de chaque disque via un petit fdisk. Vous le faites avec le BIOS précablé vers le bon disque (mon SATA dans mon cas) :

ubuntu:~$ sudo fdisk -l
Disque /dev/sda: 146.8 Go, 146815737856 octets
255 heads, 63 sectors/track, 17849 cylinders
Units = cylindres of 16065 * 512 = 8225280 bytes
Disk identifier: 0x12345678

Périphérique Amorce    Début         Fin      Blocs    Id  Système
/dev/sda1   *           1       17849   143372061    7  HPFS/NTFS

Disque /dev/sdb: 400.0 Go, 400088457216 octets
255 heads, 63 sectors/track, 48641 cylinders
Units = cylindres of 16065 * 512 = 8225280 bytes
Disk identifier: 0x12345678

Périphérique Amorce    Début         Fin      Blocs    Id  Système
/dev/sdb1   *           1        2432    19535008+  83  Linux
/dev/sdb2            2433        2681     2000092+  82  Linux swap / Solaris
/dev/sdb3            2682       48641   369173700   83  Linux

Disque /dev/sdc: 400.0 Go, 400088457216 octets
255 heads, 63 sectors/track, 48641 cylinders
Units = cylindres of 16065 * 512 = 8225280 bytes
Disk identifier: 0x12345678

Périphérique Amorce    Début         Fin      Blocs    Id  Système
/dev/sdc1               1       48641   390708801    7  HPFS/NTFS

Disque /dev/sdd: 400.0 Go, 400088457216 octets
255 heads, 63 sectors/track, 48641 cylinders
Units = cylindres of 16065 * 512 = 8225280 bytes
Disk identifier: 0x12345678

Périphérique Amorce    Début         Fin      Blocs    Id  Système
/dev/sdd1               1       48641   390708801    7  HPFS/NTFS

Dans le cas ci-dessus, le SAS de 146 Go puis 3 SATA de 400 Go.
Donc Windows = /dev/sda1 et Ubuntu sera = /dev/sdb1

FIXME : Parfois, et je n’arrive pas à l’expliquer, le boot du Live Ubuntu m’a sorti un mode graphique un peu dégradé et l’ordre des disques changeaient…
Au final, je me suis retrouvé avec une conf GRUB mauvaise et pas grand chose ne bootait.

Dans mon cas, la bonne conf est la suivante – je ne prends que la fin du fichier /boot/grub/menu.lst :

## ## End Default Options ##

title           Ubuntu 7.10, kernel 2.6.22-14-generic
root            (hd0,0)
kernel          /boot/vmlinuz-2.6.22-14-generic root=UUID=52f30332-a489-4df5-8305-85c4a1e7dba1 ro quiet splash
initrd          /boot/initrd.img-2.6.22-14-generic
quiet

title           Ubuntu 7.10, kernel 2.6.22-14-generic (recovery mode)
root            (hd0,0)
kernel          /boot/vmlinuz-2.6.22-14-generic root=UUID=52f30332-a489-4df5-8305-85c4a1e7dba1 ro single
initrd          /boot/initrd.img-2.6.22-14-generic

title           Ubuntu 7.10, memtest86+
root            (hd0,0)
kernel          /boot/memtest86+.bin
quiet

### END DEBIAN AUTOMAGIC KERNELS LIST

# This is a divider, added to separate the menu items below from the Debian
# ones.
title           Other operating systems:
root

# This entry automatically added by the Debian installer for a non-linux OS
# on /dev/sda1
title           Windows XP
map             (hd3) (hd0)
map             (hd0) (hd3)
root            (hd3,0)
makeactive
chainloader     +1

Le piège

Si vous avez été attentif, vous avez vu le piège :
Dans GRUB, le linux est vu comme le premier disque : hd0. C’est vrai, à condition de se dire que le BIOS boote (donc détecte ?) d’abord le SATA (donc il compte d’abord les SATA et le SAS est vu alors en 4è).
=> C’est sur cette info que se base GRUB.

Par contre, le disque contenant vraiment l’OS Linux est sdB, donc le deuxième O_o
=> Ce qui veut dire que Ubuntu redétecte l’ordre des disques à sa manière ensuite (disons que je le vois comme ça, tout au moins

De même pour le Windows, c’est sdA alors qu’il est vu par le BIOS en dernier (4è => hd3 dans GRUB).

Enfin, piège ultime, les lignes “map” qui n’étaient pas là au départ.
Windows ne tolère de booter que s’il est “le premier disque” – ce qui ne veut rien dire et est une limitation complètement débile. Toujours est-il que là, il est vu à un moment donné comme 4è et sans vous le dire, ce con de NTLOADER ne part pas (et ne vous dit rien). GRUB vous dit que ça merdoit puis vous ramène au menu de boot.
La commande “map” sert à modifier virtuellement l’ordre des disques. Ca suffit à blouser Windows. Attention le “root” reste sur hd3 alors qu’on a inversé les disques, c’est pas dynamique à ce niveau là.

=> Le bilan après installation Ubuntu, c’est qu’aucun des menus ne menait à rien…. il a fallu changer la conf GRUB à la volée pour récupérer le linux, tester les paramètres pour booter le windows et enfin écrire la bonne conf dans /boot/grub/menu.lst

Remarque sur les modifs à la volée de GRUB lors du boot

Si GRUB démarre après une install, mais qu’aucun menu ne vous démarre un OS (ils sont simplement listés), n’oubliez pas que vous avez la touche ‘e’ pour éditer une des lignes du menu de choix du boot. Les raccourcis claviers sont expliqués. Vous pourrez donc choisir un root (hdtruc,bidule) qui va bien.
Si vous avez bien en tête la conf en terme de /dev/sdX et l’ordre des disques vu par le BIOS, vous devriez pouvoir faire booter n’importe quoi. Une fois sous le linux qui héberge le fichier de conf de GRUB, vous reportez vos modifs et c’est fini.

Ouf, ça fonctionne encore.
Donc si vous hésitiez, rapport à Ubuntu sur PS3, n’hésitez plus. Upgradez, ça ne sert à rien :/

Dans mon cas, je n’ai jamais réussi à faire fonctionner le wifi. Et ça ne marche pas mieux maintenant… dommage !

Vous pouvez retourner dormir.

(voyez l’article suivant pour installer Ubuntu sur PS3)

J’ai trouvé plusieurs sites web tous un peu brouillons donnant des informations sur le sujet. Je vous fais une synthèse propre de la chose, fait avec une XUbuntu (plus légère qu’Ubuntu) 7.10 i386 desktop

Mes sources de départ

- Un article un peu dépassé
- Un article correct si ce n’est qu’il n’explique pas grand chose et balance des commandes à la suite.
- Et enfin, un article parlant d’un bug qui n’a plus lieu mais qui a au moins le mérite d’expliquer un peu comment le LiveOS identifie une partition de la clef USB pour stocker les informations “persistantes”.

Ce dont vous avez besoin

- Une clef USB d’au moins 1 Go. Rapide de préférence. Comptez 700/750 Mo pour la partie figée de l’XUbuntu et le reste pour votre partie “persistante”.
- L’ISO de XUbuntu (ou Ubuntu)
- Un PC sous Windows. Mais ce sera plus simple sous Linux (pour créer une partition EXT2).
- Un PC acceptant de booter sur de l’USB. Sinon pour tester, ça ne va pas être simple
C’est tout.

Préparer la clef

Le principe est de créer 2 partitions :
- la première en FAT16 (16, pas 32) qui hébergera le contenu de l’ISO un tout petit peu retravaillé. En gros, pour pouvoir booter, charger le noyau etc.
- l’autre au format EXT2 pour la partie “variable” de l’OS (la partie “persistante”). C’est bien de l’EXT2 et pas EXT3 : aucune utilité de journaliser sur un LiveOS, sans parler du débit relativement faible de l’USB.

Créer les partitions

Sous Windows vous passerez par le menu de “Gestion de disques” pour créer vos partitions.
Sous Linux, par fdisk /dev/sdb si votre clef est reconnue en SDB. Faites un fdisk -l pour le savoir. Je vous passe la config, au pire allez voir le 2è article que je mentionne plus haut dans mes sources, tout est dedans (style : “tapez sur n puis p puis 1 etc” – du bonheur).

Formatter les partitions

Sous Windows, facile. J’ai dit FAT16, pas FAT32. Vu ?
Sous Linux, la commande est mkfs.vfat -F 16 -n ubuntu710 /dev/sdb1 si votre clef est sdB. Le nom “ubuntu710″ est arbitraire.

Pour formatter la deuxième partitions en EXT2, si vous êtes sous Windows, vous avez 3 options qui se résument à trouver un Linux quelque part
1) Vous utilisez le propre OS qu’on va faire sur cette clef, en mode non “persistant” (je le décris ci-après) puisque pour l’instant la “partition de persistance” n’existe pas. Une fois sur cet OS, vous avez accès à la commande qui va bien.
2) Vous utilisez le CD gravé à partir de votre ISO [X]Ubuntu et bootez dessus pour avoir un Linux tout frais en LiveOS.
3) Vous avez un Linux sous la main quelque part et c’est plus simple.

Dans tous les cas, la commande sous Linux est la suivante : mkfs.ext2 -b 4096 -L casper-rw /dev/sdx2. Cette fois-ci, le nom “casper-rw” est important (de ce que j’en ai compris) car c’est lui qui est utilisé pour désigner les partitions utilisées pour la “persistance”. Donc bref, vous ne touchez pas si vous voulez que tout votre “/” soit “persistant”. Si vous voulez limiter au “/home” par exemple, survolez l’article suivant pour tenter de le faire. Je n’ai pas essayé (en gros, il faudrait une partition nommée “home-rw”).

“Copier l’OS”

Maintenant que les partitions sont prêtes, vous devez :
- Recopier le contenu de l’ISO sur la première partition.
- Dupliquer le contenu du répertoire “isolinux” à la racine de la partition 1 de la clef (un déplacement devrait suffire, mais je ne suis pas sûr).
- Dupliquer les fichiers "/casper/initrd.gz" et "/casper/vmlinuz" à la racine de la clef.

Rendre la clef bootable avec SYSLINUX

Téléchargez “syslinux” (un bootloader) depuis ce site. Actuellement, la version est 3.61 pour Windows. Sous Linux (Debian par exemple), l’outil SYSLINUX est packagé. Installez-le comme d’hab.
Sous Windows, vous faites un "syslinux X:" où X est la lettre de lecteur de votre partition n°1 de votre clef.
Sous Linux, vous faites un "syslinux -sf /dev/sdb1" si votre clef est sdB.

Adapter le menu de boot

Recopier à la racine de la 1è partition les fichiers fournis sur ce site. Parcourez-les pour bien comprendre comment fonctionne SYSLINUX.
Pour booter sur l’OS “persistant”, vous tapez “persistent” au boot. Sinon vous bootez par défaut sur la version Live normale qui n’est pas persistante.

Optimisations !

Vous êtes sur une clef USB, c’est-à-dire un périphérique assez lent et avec une place limitée. A vous de bien régler l’écriture des logs, afin de ne pas encombrer votre clef inutilement. Pensez aussi à régler APT ou au moins à supprimer les paquets DEB de /var/cache/apt/archives/ après des upgrade/install de paquets etc…

Et voilà, frimez bien avec votre OS.
Ah j’oubliais : bootez en mode “persistant”, créez 3 fichiers via touch ~/toto ; touch /tmp/toto ; sudo touch /toto
Rebootez bien proprement et vérifiez que vos fichiers sont encore là (sauf celui du /tmp, il aura dégagé).

La procédure d’installation est expliquée ici mais elle mérite d’être adaptée et complétée. En effet, elle ne tient pas compte des spécificités (=bugs ) liés à tel ou tel couple noyau linux+firmware PS3. Bref, c’est idéaliste, mais ça ne marche pas en général.

Etape 0 : avoir quelques sites sous la main

L’article ci-dessous est fait de mémoire (et je n’ai pas le temps de tout péter pour recommencer et vérifier mes dires à la virgule près). Sachez, si vous êtes bloqués, que toutes les infos de cet article proviennent d’un mix de plein de messages du forum de www.psubuntu.org.

Première étape : formattage de la console

Commençons par le commencement : sauvegardez comme vous pouvez votre disque dur de PS3 car on doit le repartitionner et “donc” flinguer tout ce qui traine dessus.
- Ensuite, allez dans le menu de la PS3 “Paramètres -> Paramètres Système -> Utilitaire de formattage -> Formater disque dur”.
- Il vous prévient que tout va être effacé. Confirmez si vous avez bien sauvegardé vos données.
- Choisissez le menu “partition personnalisée” (je fais de tête, c’est peut-être pas pile ce nom là ).
- Allouez 10 Go à “l’autre système” et précisez “formattage rapide”

Le disque dur est prêt à recevoir un OS.

Téléchargement de Ubuntu pour PS3

Je vous propose de télécharger Ubuntu : vous aurez un environnement graphique rapidement, pratique pour l’utilisation qu’on veut en faire.
L’image officielle ubuntu desktop 7.10 PS3 est KO (repository mal goalé, vous bloquerez à 82% de l’installation).
Donc prenez la version “alternate”.
Enfin, vous verrez plus tard que Ubuntu est trop lourd pour les pauvres 256 Mo de RAM de la PS3. J’ai installé le paquet xubuntu-desktop. Une alternative est de directement démarrer avec le CD XUbuntu Alternate dans ce cas.
Vous les trouverez sur ce serveur, par exemple ce fichier.

Lancement de l’installation

Gravez le bousin, mettez-le dans la PS3 fraîchement reformattée et allez dans le menu “Paramètres système -> Installer un autre OS”. La PS3 vous trouvera le fameux fichier otheros.bld contenu sur le CD. Vous verrez un peu partout sur le web des gens dire qu’il faut le mettre sur une clef USB avant. Que nenni. Au pire vous aurez à en injecter un autre sur votre Linux plus tard suivant votre kernel Linux et/ou votre firmware PS3.
Enfin, vous choisirez “Paramètres systèmes -> Système par défaut” et précisez “Autre OS” pour que la PS3 boote sur Linux. Vous pouvez choisir de booter par défaut ou non. La manip inverse est faisable et même si tout est planté.

Enfin, dans “Paramètres -> Système par défaut”, vous choisissez “Autre OS” et confirmez pour booter votre Linux. C’est le moment de brancher un clavier souris.

Je passe l’installation de Ubuntu en elle-même. Avec le CD “alternate”, ça ressemble plus à une installation Debian que Ubuntu, car en “fenêtres ncurses”.

Configuration wifi : début des emmerdes

Si votre firmware PS3 est <= 1.96

Normalement, avec l’image que je vous ai fait utiliser, tout fonctionne. Notez que vous ne pouvez utiliser *que* le wifi ou l’ethernet à un instant donné. Sony a eu la bonne idée, apparement, d’affecter la même adresse MAC aux deux périphériques….

Si votre firmware PS3 est == 2.00

Sony a changé un truc dans le wifi de leur console. Résultat, elle n’est plus reconnue par le kernel installé avec l’Ubuntu citée ci-dessus.
Il faut upgrader en kernel 2.6.23-Rc7.
Pour ce faire, plutôt que de plagier le site où je l’ai lu, suivez la procédure ici en ne suivant que les instructions du chapitre “Part 2 – update the kernel” sous-chapitre “2) download custom build”, pas la partie “install kernel from source”. Vous aurez néamoins besoin de suivre les instructions du chapitre 3f et 3h, respectivement pour créer un lien symbolique qui va bien modifier le fichier de conf de KBOOT pour pouvoir choisir (comme avec LILO ou GRUB) votre noyau de démarrage.
Notez que pour repasser sur l’OS de la PS3, il faut au lancement de KBOOT préciser la commande “boot-game-os” (en qwerty, donc “boot)gq,e)os”, vous suivez ?

J’avais moi-même fait consciencieusement tout ça avant de comprendre que ma PS3 était en 2.10 et que c’est *encore* différent pour un firmware PS3 2.10. D’où le chapitre suivant.

Si votre firmware PS3 est == 2.10

Sony a [re]+-modifié quelque chose dans le wifi et le kernel 2.6.23-rc7 ne passe plus… Cette fois-ci, les informations sont sur ce thread. Il faut une nouvelle version du 2.6.23 et “normalement-ça-marche”.
A la fin, chez moi le wifi était toujours inconnu. J’en ai eu ras le bol, j’ai collé un pont wifi sur mon cable Ethernet… c’est pas encore super au point Linux sur PS3 (vous pouvez tenter OpenSUSE, même combat).
Néanmoins, voici la procédure :
- Remplacez le fichier “otheros.bld” par celui ici
- Démarrez sur un ancien kernel de votre Ubuntu (celui d’origine par exemple), car vous aurez veillé à toujours laisser une ligne pour le kernel d’origine dans votre fichier de conf KBOOT
- Copier le contenu du fichier kernel-2.6.23-20071219.ppc64.tar.gz sur la racine de votre système (le tgz contient un /lib, /boot etc)
- Copier le fichier initrd.img-2.6.23 dans /boot
- Ajouter une ligne genre : test='/boot/vmlinux-2.6.23 initrd=/boot/initrd.img-2.6.23 root=UUID=48124blablabla quiet splash' dans le fichier /etc/kboot.conf pour déclarer ce nouveau kernel. Vous changerez la valeur UUID par la votre ou au pire par /dev/ps3da1
- Ensuite, vous lancerez les commandes sudo update-initramfs -k 2.6.23 -u et sudo depmod -a
Puis reboot.

Si votre fimware PS3 est > 2.10

Aucune idée, il n’est pas encore sorti

Paramétrage de la résolution vidéo

Je ne parlerai que du cas d’une TV 1920*1080 (full hd), pour les 720, c’est similaire, il faut juste d’autres valeurs. Pour les TV de résolutions bizarres, je ne sais pas.

Le minimum à faire côté Linux

Pas la peine de jouer trop longtemps dans le /etc/X11/xorg.conf, même en forçant une unique résolution en 24 bits, la PS3 n’en fera qu’à sa tête. En effet, c’est la commande spécifique ps3videomode qui gère l’affaire. Pour avoir la résolution que vous cherchez, il faut simplement passer le bon paramètre à KBOOT. Pour ce faire, vous ajoutez en fin de ligne dans /etc/kboot.conf l’argument suivant : video=ps3fb:mode:XXXX avec XXXX valant :

0: auto mode , default value
YUV 60Hz 1:480i 2:480p 3:720p 4:1080i 5:1080p
YUV 50Hz 6:576i 7:576p 8:720p 9:1080i 10:1080p
RGB 60Hz 33:480i 34:480p 35:720p 36:1080i 37:1080p
RGB 50Hz 38:576i 39:576p 40:720p 41:1080i 42:1080p
VESA 11:WXGA 12:SXGA 13:WUXGA

full screen mode: 

Exemple : pour une TV full HD, vous mettez simplement 5 (ou 133 (car 5+128), j’ai pas trop vu de différence à vrai dire
Il faut aussi (mais je ne sais pas si c’est obligatoire) adapter votre /etc/X11/xorg.conf dans la section “Screen” pour qu’il ne contienne que ça :

Section "Screen"
    Identifier      "Default Screen"
    Device          "Generic Video Card"
    Monitor         "Generic Monitor"
    DefaultDepth    24
    DefaultFbBpp 32
    SubSection "Display"
        Depth 24
̉   EndSubSection
EndSection

A noter : une seule sous-section “Display”

Cas particulier (?) de ma TV Sony foule-achdé

Malgré ça, si vous avez autant de chance que moi, vous verrez que votre bureau dépasse la taille de la télé et qu’en plus, ça ne scrolle pas. C’est chiant hein ? Et bien cette fois, c’est la faute à la télé. Sur mon modèle Sony, j’ai dû trifouiller dans les options d’affichage et trouver un mode qui se nomme quelque chose comme “afficher tous les pixels” et là, enfin, j’ai eu du 1920*1080 sur 40 pouces. Yarglaaaa.
En image.

Autres remarques

Faites attention à ce que vous écrivez dans votre kboot.conf. Laissez toujours le kernel d’origine accessible, au moins il fonctionne (sans wifi, mais il fonctionne).
Attention au fichier /etc/fstab, normalement avec un firmware 2.00 (je crois) et un kernel 2.6.23.quelquechose, le disque dur de la PS3 (enfin, la partie Linux) est vue sur /dev/ps3da. Avant cette évolution, il fallait connaître l’UUID de votre disque dur. J’ai pas vraiment été embêté par le problème, donc je pense qu’en partant de ma doc et de l’ISO que j’indique, vous êtes tout de suite sur un système assez récent pour éviter ce détail.

Pour upgrader KBOOT (le LILO-like pour Linux-sur-PS3), si nécessaire, il faut taper la commande suivante : ps3-flash-util -w le_fichier_kboot

Enfin, les performances. Elles sont assez décevantes. Allez donc voir sur ce site pour trouver un mplayer optimisé PS3. Par contre, ils recommandent de ne pas être en mode graphique… Pas très user-friendly pour ma femme et mes gosses. Grrrr. Wait & see, ça ira peut-être mieux plus tard (si Sony va au bout de sa démarche d’ouverture à un autre OS et permet d’accéder facilement, naturellement, à la puissance de la bête.

Bon, j’ai mal au crâne, j’arrête.
Bonne chance Jim, ce message s’autodétruira dans 5 secondes.

Et évidemment, d’installer Linux dessus… car j’avais entendu dire que c’était possible. Pourquoi Linux sur une PS3 ? pour potentiellement lire les fichiers que la PS3 ne saurait pas lire (OGG, XVID, MKV…) et pour avoir un “PC de salon” (Internet, mail, jabber etc) en 1920*1080 sur 40 pouces. Baaaaaaave….

Enfin, l’idée est d’utiliser aussi un “serveur multimédia” (une appli DLNA quelconque) pour accéder à quelques fichiers multimédias à distance sur un PC windows.

(Apparement, on peut aussi jouer avec une PS3, faudra que je me renseigne ;P

Alors, je vais pondre très prochainement plusieurs billets sur ce blog concernant la PS3.

Je livre juste 2 remarques dès à présent :

1) N’upgradez pas le firmware de la PS3 – sauf si un jeu vous force à le faire (tant pis pour vous). Plus il est bas, moins vous aurez d’emmerdes sous Linux. C’est un peu la même logique que pour une PSP. En bon gros boulet, j’ai upgradé avant de réfléchir et je suis passé de 1.96 à 2.10 et je le regrette. M’enfin bon, je m’en suis sorti quand même côté Linux/PS3, c’est juste plus chiant. En 1.96, ce serait passé comme une lettre à la poste (quand il n’y a pas grève).

2) Toutes les docs que vous pourrez trouver sur le web sont généralement assez approximatives et limitées à un cas particulier (tel firmware, telle config gnagnagna). J’essaierai de dépasser ce cadre.

Et si vous êtes trop impatient, lisez les sites ci-dessous, c’est là que j’ai trouvé la plupart des informations pour débugger :
http://psubuntu.com/
http://linux.yes.nu/PS3Ubuntu/
+ 2/3 autres sites qui vous expliquent comment créer la partition pour Linux et booter dessus.