evisor

évisible

eVisor est un hyperviseur en métal nu léger (type 1) écrit en C ++. Ce projet est destiné à être utilisé dans les systèmes intégrés (appareils ARM64) et à des fins éducatives.

Evisor Demo Video @ YouTube - Nuttx fonctionne sur Raspberry PI4

Livre (japonais)

N'hésitez pas à lire aussi si vous êtes intéressé. C'est un livre japonais sur la création de votre propre hyperviseur.

Appareils pris en charge

• Raspberry Pi 4 Model B (BCM2711 / AARCH64 uniquement)
• Qemu (ARM64)

Todos

• Prise en charge des cœurs multi-processeurs
• Correction de l'implémentation temporaire des API de gestion de la mémoire comme KMM_MALLOC
• Ajouter des API d'appel du système d'hyperviseur comme KVM
• Support complet pour les interruptions de VCPU
• Prise en charge des version 3 et 4 GIC
• Améliorer l'algorithme de planification
• Améliorer le pilote de périphérique MMC (vitesse de transfert de données SD)
• Prise en charge du système d'exploitation Linux
• Code source de restructuration / refactorisation

Requêtes système

Systèmes d'exploitation

Il est recommandé d'utiliser Ubuntu 22.04 avec Clang 14. Actuellement, ce logiciel peut ne pas être construit sur Ubuntu 24 ou plus.

Outils de construction

sudo apt install cmake clang llvm

libstdc ++ - 12-DEV Installation

Ce logiciel n'utilise pas les bibliothèques de standart C ++ (libstdc ++), mais si vous appuyez sur une erreur de construction CMake suivante, essayez d'installer libstdc++-12-dev .

/usr/bin/ld: cannot find -lstdc++: No such file or directory

Comment construire

Cross-Building pour ARM64 sur x86_64

mkdir build && cd build
cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/cross-toolchain-clang-aarch64.cmake 
      -DCMAKE_BUILD_TYPE={Debug | Release} 
      -DBOARD={raspi4 | qemu} 
      -DTEST_GUEST={serial | test_app | nuttx | linux}

Auto-construction pour ARM64 sur ARM64

mkdir build && cd build
cmake .. -DCMAKE_BUILD_TYPE={Debug | Release} 
      -DBOARD={raspi4 | qemu} 
      -DTEST_GUEST={serial | test_app | nuttx | linux}

Exemples

Raspberry Pi4 + Nuttx (OS invité)

Bâtiment

mkdir build && cd build
cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/cross-toolchain-clang-aarch64.cmake 
         -DCMAKE_BUILD_TYPE=Release -DBOARD=raspi4 -DTEST_GUEST=nuttx
cmake --build . 

En cours d'exécution

Configuration de la carte SD pour Rasberry PI4 (voir config / raspi4 / config.txt pour les paramètres détaillés):

cp config/raspi4/config.txt < path_to_sdcard > /boot

Copiez le fichier image NUTTX sur la carte SD:

cp examples/nuttx/nuttx.bin < path_to_sdcard > /boot

Copiez le fichier d'image Evisor sur la carte SD:

cp build/kernel.bin < path_to_sdcard > /boot/kernel.bin

Console série / journaux UART

La console série et les journaux de sortie sont attribués à UART0 (GPIO 14, GPIO 15), avec un taux de bauds de 115200bps.

 sudo minicom -D /dev/ttyUSB0

Qemu + Nuttx (OS invité)

Installer Qemu

sudo apt install qemu-system-arm 

Notez que QEMU 9.0 ou plus est nécessaire pour exécuter ce logiciel. Veuillez consulter le téléchargement Qemu.

Bâtiment

mkdir build && cd build
cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/cross-toolchain-clang-aarch64.cmake 
         -DCMAKE_BUILD_TYPE=Release -DBOARD=qemu -DTEST_GUEST=nuttx
cmake --build . 

En cours d'exécution

qemu-system-aarch64 
  -machine virt,virtualization=on,gic-version=2 
  -cpu cortex-a72 -smp 4 
  -m 4G 
  -nographic -net none 
  -chardev stdio,id=con,mux=on -serial chardev:con -mon chardev=con,mode=readline 
  -kernel ./kernel.elf 
  -drive file=../examples/nuttx/nuttx.bin,format=raw,id=drive0,if=none 
  -device virtio-blk-device,drive=drive0,bus=virtio-mmio-bus.0

Comment déboguer sur Qemu

qemu-system-aarch64 
  -machine virt,virtualization=on,gic-version=2 
  -cpu cortex-a72 -smp 4 
  -m 4G 
  -nographic -net none 
  -chardev stdio,id=con,mux=on -serial chardev:con -mon chardev=con,mode=readline 
  -kernel ./kernel.elf 
  -drive file=../examples/nuttx/nuttx.bin,format=raw,id=drive0,if=none 
  -device virtio-blk-device,drive=drive0,bus=virtio-mmio-bus.0 
  -d mmu,in_asm,guest_errors,int,exec,page -D qemu_trace.log

Merci spécial!

Des remerciements particuliers qui ont suivi depuis que je les ai particulièrement référés au début du développement.

• raspvisor
• LLD
• Échantillon d'interruption Raspberry Pi 4