diff --git a/labs/lab-virtual_game_machine/lab-virtual_game_machine.md b/labs/lab-virtual_game_machine/lab-virtual_game_machine.md index 34af85fe0b46e5c10f5313b4fa8c693cf4ed142c..1883c1a0c8ff7a9734d7c53e691fc421033813be 100644 --- a/labs/lab-virtual_game_machine/lab-virtual_game_machine.md +++ b/labs/lab-virtual_game_machine/lab-virtual_game_machine.md @@ -357,13 +357,16 @@ Pour vous aider à tester votre VMM et vous assurer que son comportement est cor Le binaire de l'hyperviseur complet à réaliser vous sera également fourni afin que vous puissiez vérifier que le code de votre guest est également correct. -## Guests à disposition +## Guests de validation Plusieurs guest OSes sont mis à votre disposition afin que vous puissiez valider que le comportement de votre VMM est correct. Ces guests se trouvent dans le répertoire `validation/guests`. Voici la liste avec une brève description de ce qu'ils réalisent et le comportement attendu par le VMM\ : -### guest_pv_1.bin +### `guest_console_pv.bin` +\vspace{-.3cm} -Ce guest réalise 11 hypercalls afin d'afficher du texte sur la console virtuelle. Le texte affiché par le VMM est donné ci-dessous\ : +Ce guest réalise 11 hypercalls n°1 afin d'afficher du texte sur la console virtuelle. + +Le texte affiché par le VMM est illustré ci-dessous\ : \footnotesize ``` @@ -380,3 +383,32 @@ Hello from Guest OS (8/9) Hello from Guest OS (9/9) ``` \normalsize + +### `guest_timer_pv.bin` +\vspace{-.3cm} + +Ce guest réalise une boucle infinie dans laquelle un "." est affiché chaque 200000 micro-secondes. +Chaque texte affiché utilise l'hypercall n°1. La temporisation est réalisée via l'hypercall n°2. + +Le texte affiché par le VMM est illustré ci-dessous\ : + +\footnotesize +``` +Delay: 200000 us (pv) +............................... +``` +\normalsize + +### `guest_timer_phys.bin` +\vspace{-.3cm} + +Ce guest est identique au guest précédent, au détail près qu'il programme le timer réel (physique) plutôt que virtuel. + +Le texte affiché par le VMM est illustré ci-dessous\ : + +\footnotesize +``` +Delay: 200000 us (phys) +............................... +``` +\normalsize diff --git a/labs/lab-virtual_game_machine/validation/guests/guest_pv_1.bin b/labs/lab-virtual_game_machine/validation/guests/guest_console_pv.bin similarity index 100% rename from labs/lab-virtual_game_machine/validation/guests/guest_pv_1.bin rename to labs/lab-virtual_game_machine/validation/guests/guest_console_pv.bin diff --git a/labs/lab-virtual_game_machine/validation/guests/guest_timer_phys.bin b/labs/lab-virtual_game_machine/validation/guests/guest_timer_phys.bin new file mode 100755 index 0000000000000000000000000000000000000000..ae79734fb3c2763dad3e3e96354c7c3e946c5780 Binary files /dev/null and b/labs/lab-virtual_game_machine/validation/guests/guest_timer_phys.bin differ diff --git a/labs/lab-virtual_game_machine/validation/guests/guest_timer_pv.bin b/labs/lab-virtual_game_machine/validation/guests/guest_timer_pv.bin new file mode 100755 index 0000000000000000000000000000000000000000..9c3699346b3a38c747610801d4382365983a4c6f Binary files /dev/null and b/labs/lab-virtual_game_machine/validation/guests/guest_timer_pv.bin differ