README.fr

    ┏━┓┏┓ ╻ ╻┏┳┓┏━╸
    ┣━┫┣┻┓┗┳┛┃┃┃┣╸
    ╹ ╹┗━┛ ╹ ╹ ╹┗━╸
       ┏━┓┏━╸┏━╸╻ ╻┏━┓┏━┓╻╻ ╻┏━╸
       ┣┳┛┣╸ ┃  ┃ ┃┣┳┛┗━┓┃┃┏┛┣╸
       ╹┗╸┗━╸┗━╸┗━┛╹┗╸┗━┛╹┗┛ ┗━╸
          ╻ ╻╻ ╻┏━┓┏━╸┏━┓╻ ╻╻┏━┓┏━┓┏━┓
          ┣━┫┗┳┛┣━┛┣╸ ┣┳┛┃┏┛┃┗━┓┃ ┃┣┳┛
          ╹ ╹ ╹ ╹  ┗━╸╹┗╸┗┛ ╹┗━┛┗━┛╹┗╸         7_O_/
             ╻  ╻┏┓ ┏━┓┏━┓┏━┓╻ ╻                (/
             ┃  ┃┣┻┓┣┳┛┣━┫┣┳┛┗┳┛                /\/'
             ┗━╸╹┗━┛╹┗╸╹ ╹╹┗╸ ╹                 7


sources/
  Code de l'hyperviseur de sécurité. Code 100 % LAAS.
sources/drivers/vmm_rec/
  Bibliothèque statique d'hyperviseur récursif.
sources/drivers/vmm_rec_env/
  Implémentation d'hyperviseur utilisant la bibliothèque précédente. CET
  HYPERVISEUR EST L'ENVIRONNEMENT D'EXECUTION SECURISÉ.
sources/drivers/82579LM/
  Driver de carte réseau générique Intel famille e1000.
sources/drivers/eric/
  Driver du périphérique de confiance.

Submodules

abyme-challenge/
  Le code des challenges envoyés depuis le périphérique de confiance vers
  l'hyperviseur. Celui-ci doit les exécuter pour prouver son intégrité.
  Code 100% LAAS.

edk2/
  Submodule for QEMU/OVMF firmware needed if using QEMU

  dependencies : acpica; nasm

  $ git submodule update --init
  $ make -C BaseTools
  $ . ./edksetup.sh BaseTools
  $ cat Conf/target.txt
  $ OvmfPkg/build.sh \
    -a IA32 -a X64 \
    -D SECURE_BOOT_ENABLE \
    -D TPM2_ENABLE -D TPM2_CONFIG_ENABLE \
    -D FD_SIZE_2MB -D EXCLUDE_SHELL_FROM_FD

  For SMM debugging go and see :
    https://casualhacking.io/blog/2019/12/3/using-optionrom-to-overwrite-smmsmi-handlers-in-qemu

gnu-efi/
  Submodule for GNU efi toolchain to build efi applications

  $ make

uefi-gdb/
  Submodule for efi applications and drivers debugging with gdb

Working directories to create if needed (rules associated in make targets)

img-arch/
  Archlinux cdrom and distro disk to be used with QEMU target

  $ wget https://<archrepo>/archlinux-yyyy.mm.dd-x86_64.iso -O arch.iso
  $ qemu-img create -f qcow2 vdisk.qcow2 10G

  And install eventually archlinux on vdisk.qcow2
  Note that you can work using the live disk only