evisor

Evisor

eVisor C ++로 작성된 가벼운 중간 베어 메탈 하이퍼 바이저 (유형 1)입니다. 이 프로젝트는 임베디드 시스템 (ARM64 장치) 및 교육 목적으로 사용하기위한 것입니다.

Evisor Demo Video @ YouTube -Nuttx 실행 Raspberry Pi4에서 실행됩니다.

책 (일본어)

관심이 있으시면 자유롭게 읽으십시오. 자신만의 하이퍼 바이저를 만드는 일본어 책입니다.

지원되는 장치

• Raspberry Pi 4 Model B (BCM2711 / Aarch64 만 해당)
• QEMU (ARM64)

토 도스

• 멀티 CPU 코어를 지원하십시오
• KMM_Malloc과 같은 메모리 관리 API의 임시 구현을 수정하십시오
• Hypervisor System Call API와 같은 KVM을 추가하십시오
• VCPU 인터럽트에 대한 완전한 지원
• GIC 버전 3 및 4를 지원합니다
• 스케줄링 알고리즘을 향상시킵니다
• MMC 장치 드라이버 향상 (SD 데이터 전송 속도)
• Linux OS를 지원합니다
• 구조 조정 / 리팩토링 소스 코드

시스템 시험

운영 체제

Clang 14와 함께 Ubuntu 22.04를 사용하는 것이 좋습니다. 현재이 소프트웨어는 Ubuntu 24 이상에서 구축되지 않을 수 있습니다.

도구를 구축하십시오

sudo apt install cmake clang llvm

libstdc ++ -12-dev 설치

이 소프트웨어는 C ++ standart 라이브러리 (libstdc ++)를 사용하지 않지만 다음 cmake 빌드 오류를 누르면 libstdc++-12-dev 설치하십시오.

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

구축 방법

x86_64의 ARM64에 대한 교차 건설

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}

ARM64의 ARM64에 대한 자체 구축

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

예

Raspberry Pi4 + Nuttx (게스트 OS)

건물

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 . 

달리기

Rasberry PI4의 SD 카드 설정 (세부 사항 설정은 Config/Raspi4/Config.txt 참조) :

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

Nuttx 이미지 파일을 SD 카드에 복사하십시오.

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

Evisor 이미지 파일을 SD 카드에 복사하십시오.

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

직렬 콘솔 / UART 로그

직렬 콘솔 및 출력 로그는 115200bps의 보드 속도로 UART0 (GPIO 14, GPIO 15)에 할당됩니다.

 sudo minicom -D /dev/ttyUSB0

QEMU + NUTTX (게스트 OS)

QEMU를 설치하십시오

sudo apt install qemu-system-arm 

이 소프트웨어를 실행하려면 QEMU 9.0 이상이 필요합니다. 다운로드 QEMU를 참조하십시오.

건물

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 . 

달리기

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

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

특별 감사합니다!

특히 개발 초기 단계에서 특히 언급했기 때문에 특별한 감사를드립니다.

• 라스베이저
• LLD
• Raspberry Pi 4 인터럽트 샘플