evisor

EVISOR

eVisor adalah hypervisor logam telanjang ringan (tipe 1) yang ditulis dalam C ++. Proyek ini dimaksudkan untuk digunakan dalam sistem tertanam (perangkat ARM64) dan untuk tujuan pendidikan.

Evisor Demo Video @ YouTube - Nuttx berjalan di Raspberry PI4

Buku (Jepang)

Silakan membaca ゼロからのハイパーバイザ自作入門 juga jika Anda tertarik. Ini adalah buku Jepang tentang menciptakan hypervisor Anda sendiri.

Perangkat yang didukung

• Raspberry Pi 4 Model B (BCM2711 / AARCH64 saja)
• QEMU (ARM64)

Todos

• Dukung Multi CPU Core
• Perbaiki implementasi sementara API manajemen memori seperti KMM_MALLOC
• Tambahkan API panggilan sistem hypervisor seperti KVM
• Dukungan penuh untuk interupsi VCPU
• Mendukung GIC Versi 3 dan 4
• Tingkatkan algoritma penjadwalan
• Tingkatkan Driver Perangkat MMC (Kecepatan Transfer Data SD)
• Mendukung OS Linux
• Kode sumber restrukturisasi / refactoring

Requrements sistem

Sistem Operasi

Disarankan untuk menggunakan Ubuntu 22.04 dengan dentang 14. Saat ini, perangkat lunak ini mungkin tidak dapat dibangun di Ubuntu 24 atau lebih tinggi.

Membangun alat

sudo apt install cmake clang llvm

LIBSTDC ++-Instalasi 12-dev

Perangkat lunak ini tidak menggunakan C ++ Standart Libraries (libstdc ++), tetapi jika Anda menekan kesalahan pembuatan CMake berikut, cobalah untuk menginstal libstdc++-12-dev .

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

Cara membangun

Bangunan silang untuk ARM64 di 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}

Pembangunan diri untuk ARM64 di ARM64

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

Contoh

Raspberry PI4 + NutTX (OS tamu)

Bangunan

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 . 

Berlari

Pengaturan Kartu SD untuk Rasberry PI4 (lihat config/raspi4/config.txt untuk pengaturan detail):

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

Salin file gambar NutTX ke kartu SD:

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

Salin file gambar Evisor ke kartu SD:

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

Log Konsol Serial / UART

Log konsol dan output serial ditetapkan ke UART0 (GPIO 14, GPIO 15), dengan laju baud 115200bps.

 sudo minicom -D /dev/ttyUSB0

QEMU + NUTTX (OS tamu)

Instal QEMU

sudo apt install qemu-system-arm 

Perhatikan bahwa QEMU 9.0 atau lebih tinggi diperlukan untuk menjalankan perangkat lunak ini. Silakan lihat Unduh QEMU.

Bangunan

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 . 

Berlari

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

Cara men -debug di 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

Terima kasih khusus!

Terima kasih khusus karena saya secara khusus merujuk mereka pada tahap awal pengembangan.

• Raspvisor
• Lld
• Sampel interupsi raspberry pi 4