evisor

evisor

eVisor é um hipervisor claro de metal nu (tipo 1) escrito em C ++. Este projeto destina -se ao uso em sistemas incorporados (dispositivos ARM64) e para fins educacionais.

EVISOR Demo Video @ YouTube - Nuttx é executado no Raspberry Pi4

Livro (japonês)

Por favor, sinta -se à vontade para ler ゼロからのハイパーバイザ自作入門 também se você estiver interessado. É um livro japonês sobre a criação de seu próprio hipervisor.

Dispositivos suportados

• Raspberry Pi 4 Modelo B (somente BCM2711 / AARCH64)
• Qemu (ARM64)

Todos

• Apoio a núcleos multi -CPU
• Corrija a implementação temporária de APIs de gerenciamento de memória como kmm_malloc
• Adicionar Sistema de Hypervisor Call APIs como KVM
• Suporte total para interrupções VCPU
• Suporte a versão 3 e 4 do GIC
• Melhorar o algoritmo de agendamento
• Melhore o driver de dispositivo MMC (velocidade de transferência de dados SD)
• Apoie Linux OS
• Código fonte de reestruturação / refatoração

Revalorização do sistema

Sistemas operacionais

Recomenda -se usar o Ubuntu 22.04 com o Clang 14. Atualmente, este software pode não ser construído no Ubuntu 24 ou superior.

Construir ferramentas

sudo apt install cmake clang llvm

LIBSTDC ++-Instalação de 12 Dev

Este software não usa bibliotecas C ++ Standart (LIBSTDC ++), mas se você acertar um erro de compilação do CMake seguinte, tente instalar libstdc++-12-dev .

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

Como construir

Construção cruzada para o ARM64 em 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-construção para o ARM64 no ARM64

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

Exemplos

Raspberry PI4 + Nuttx (OS convidado)

Prédio

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 . 

Correndo

Configurar cartão SD para Rasberry PI4 (consulte Config/raspi4/config.txt para as configurações de detalhes):

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

Copie o arquivo de imagem de nuttx para o cartão SD:

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

Copie o arquivo de imagem EVISOR para o cartão SD:

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

Loges de console serial / UART

Os logs de console e saída em série são atribuídos ao UART0 (GPIO 14, GPIO 15), com uma taxa de transmissão de 115200bps.

 sudo minicom -D /dev/ttyUSB0

Qemu + Nuttx (OS convidado)

Instale o Qemu

sudo apt install qemu-system-arm 

Observe que o Qemu 9.0 ou superior é necessário para executar este software. Consulte o download do qemu.

Prédio

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 . 

Correndo

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

Como depurar no 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

Obrigado especial!

Agradecemos especiais aos seguintes, já que me referi particularmente a eles no estágio inicial do desenvolvimento.

• Raspvisor
• LLD
• Amostra de interrupção de Raspberry Pi 4