Projet système : faq

De Ensiwiki
Révision de 7 février 2020 à 07:59 par Mounieg (discussion | contributions)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

Mycomputer.png  Deuxième Année  CDROM.png  Informatique 

Conseils

Astuces

Exécuter et déboguer avec qemu

Pour exécuter le noyau:

  1. Compiler votre image noyau kernel.bin normalement.
  2. pour l'exécuter: qemu -kernel kernel.bin

Pour déboguer votre noyau:

  1. execution avec debug qemu-system-i386 -s -S -m 256M -kernel kernel.bin
  2. sous gdb: target remote localhost:1234

Pour lancer qemu et votre noyau directement depuis la console de gdb

  • target remote | exec qemu -gdb stdio -kernel kernel.bin

Construire une image de disquette bootable (pour qemu, bochs,...)

L'image sera bootable facilement par tous les simulateurs de PC (bochs, qemu, Virtualbox version open-source). L'image est constructible sur les PC en Ubuntu des salle D200 sans les droits d'administrateur.

La construction utilise dd, les mtools, des outils de manipulation de disquette DOS, et grub comme chargeur de votre système.

La construction de l'image n'est faite qu'une seule fois. Ensuite, pour utiliser l'image avec une nouvelle version de kernel.bin, il faut juste mettre à jour kernel.bin.

Constuire l'image kernel.floppy

  1. constuire un fichier kernel.floppy de la taille d'une disquette
dd if=/dev/zero of=kernel.floppy bs=1440K count=1
  1. configurer les mtools pour écrire un fichier kernel.floppy. Il faut créer un pseudo-device disquette pointant vers le fichier
mformat -f 1440 b:
mcopy kernel.bin b:
mmd b:grub
mcopy -s /boot/grub/stage1 b:grub
mcopy -s /boot/grub/stage2 b:grub
  1. créer le menu de boot pour grub, qui boot immédiatement kernel.bin
default 0
timeout 0
title psys
kernel /kernel.bin
boot
  1. copier le menu dans le répertoire grub de la pseudo-disquette
mcopy menu.lst b:grub
  1. faire un fichier contenant les commandes pour installer la partie boot du chargeur, dans un fichier grubcmd.txt
device (fd0) ./kernel.floppy
root (fd0)
setup (fd0)
  1. installer la partie boot du chargeur
grub --device-map=/dev/null --batch < grubcmd.txt


Copier kernel.bin dans la pseudo disquette

Il faut bien sûr mettre à jour kernel.bin dans l'image.

mcopy kernel.bin b:

BUGS

undefined "__builtin_stdarg_start", lors d'une compilation avec gcc-4.4

Avec les versions récentes de gcc, la compilation des sources initiales s'arrête sur une erreur dans le fichier shared/stdarg.h

Il faut remplacer ligne 27 "__builtin_stdarg_start" par "__builtin_va_start"

Problème mémoire =

Il peut arriver que les options de VirtualBox entrent en conflit avec l'exécution du noyau. Il faut alors désactiver le VT-x/AMD-V, la pagination imbriquée, ainsi que l'USB dans les propriétés de la machine.