Booil Jung

NVIDIA Jetson Orin 플랫폼을 위한 오픈 소스 베어메탈 하이퍼바이저 기술 분석

본 보고서는 NVIDIA Jetson Orin 플랫폼에서 사용 가능한 오픈 소스 베어메탈(Type-1) 하이퍼바이저 솔루션에 대한 심층 기술 분석을 제공합니다. Jetson Orin 시스템 온 칩(SoC)은 Arm Cortex-A78AE CPU와 Ampere 아키텍처 기반의 통합 GPU를 탑재하여 하드웨어 수준에서 강력한 가상화 기능을 내재하고 있습니다. 그러나 이러한 하드웨어 역량과 NVIDIA의 공식 지원 정책 사이에는 명백한 괴리가 존재합니다. 공식적으로 Jetson 플랫폼에서의 하이퍼바이저 사용은 지원되지 않으며 1, 이는 모든 가상화 구현이 커뮤니티 주도의 노력에 의존해야 함을 의미합니다.

본 분석은 KVM, Xen, Jailhouse, seL4 네 가지 주요 오픈 소스 하이퍼바이저에 초점을 맞춥니다. 각각의 아키텍처, 기능, 구현 가능성, 그리고 Jetson Orin 플랫폼에서의 적합성을 평가합니다.

분석 결과, 다음과 같은 결론을 도출했습니다.

따라서 프로젝트의 목표가 범용 OS 통합인지, 실시간 성능 보장인지, 혹은 검증된 보안인지에 따라 최적의 하이퍼바이저 선택이 달라져야 합니다. 본 보고서는 이러한 기술적 결정을 내리는 데 필요한 심층적인 데이터와 분석을 제공하는 것을 목표로 합니다.


이 장에서는 Jetson Orin SoC의 가상화 관련 하드웨어 구성 요소를 상세히 분석하고, 이를 가능하게 하는 기반 기술인 ARMv8-A 아키텍처의 특징을 설명합니다. 이를 통해 “Jetson Orin은 어떤 하드웨어 및 아키텍처 기능을 제공하며, 이것이 어떻게 가상화를 지원하는가?”라는 근본적인 질문에 답하고자 합니다.

Jetson Orin 플랫폼의 가상화 잠재력을 이해하기 위해서는 먼저 그 핵심인 SoC의 구조를 파악해야 합니다. Orin 제품군은 개발자 킷부터 산업용 모듈에 이르기까지 다양한 폼팩터로 제공되지만, 모두 동일한 SoC 아키텍처를 공유합니다.7 가상화와 직접적으로 관련된 핵심 구성 요소는 다음과 같습니다.

이러한 하드웨어 자원의 규모와 구성은 가상화 프로젝트의 범위와 성능을 직접적으로 결정합니다. 예를 들어, 여러 개의 리눅스 VM을 동시에 실행하려면 더 많은 CPU 코어와 메모리를 갖춘 Jetson AGX Orin 모듈이 필수적입니다.

모듈 CPU 코어 GPU (아키텍처, CUDA 코어, 텐서 코어) AI 성능 (TOPS) 메모리 (크기, 타입, 대역폭) 스토리지 주요 가속기
Jetson AGX Orin 64GB 12코어 Arm Cortex-A78AE Ampere, 2048, 64 275 64GB LPDDR5, 204.8 GB/s 64GB eMMC 2x NVDLA v2, 1x PVA v2
Jetson AGX Orin 32GB 12코어 Arm Cortex-A78AE Ampere, 1792, 56 200 32GB LPDDR5, 204.8 GB/s 64GB eMMC 2x NVDLA v2, 1x PVA v2
Jetson Orin NX 16GB 8코어 Arm Cortex-A78AE Ampere, 1024, 32 100 16GB LPDDR5, 102.4 GB/s 외부 NVMe 지원 2x NVDLA v2
Jetson Orin NX 8GB 6코어 Arm Cortex-A78AE Ampere, 1024, 32 70 8GB LPDDR5, 102.4 GB/s 외부 NVMe 지원 1x NVDLA v2
Jetson Orin Nano 8GB 6코어 Arm Cortex-A78AE Ampere, 1024, 32 40 8GB LPDDR5, 68 GB/s 외부 NVMe 지원 -
Jetson Orin Nano 4GB 6코어 Arm Cortex-A78AE Ampere, 512, 16 20 4GB LPDDR5, 34 GB/s 외부 NVMe 지원 -

데이터 출처: 7

Jetson Orin의 하드웨어가 가상화를 지원할 수 있는 근본적인 이유는 그 기반이 되는 ARMv8-A 아키텍처에 내장된 하드웨어 가상화 확장(Virtualization Extensions) 기능 때문입니다. 이 기능들은 하이퍼바이저가 하드웨어를 직접 제어하며 여러 게스트 운영체제를 효율적이고 안전하게 관리할 수 있도록 지원합니다.

이러한 하드웨어 기능들은 Jetson Orin이 가상화를 실행할 수 있는 강력한 잠재력을 가지고 있음을 명확히 보여줍니다. Cortex-A78AE CPU의 선택은 혼합 현실 시스템을 위한 강력한 하드웨어 격리 기능이 실리콘 수준에서부터 고려되었음을 암시합니다. 이는 사용자가 달성하고자 하는 바로 그 목표, 즉 하이퍼바이저를 통한 시스템 파티셔닝에 대한 하드웨어적 타당성을 뒷받침합니다.

하지만 이 강력한 하드웨어 잠재력과 NVIDIA의 공식 지원 정책 사이에는 명백한 모순이 존재합니다. NVIDIA 개발자 포럼에서 한 직원은 “우리는 Jetson 플랫폼에서 하이퍼바이저 모드를 지원하지 않습니다”라고 명시적으로 밝혔으며, L4T 소스 코드에 존재하는 가상화 관련 장치 트리 파일(tegra234-soc-virt.dsti)은 Jetson이 아닌 DRIVE 플랫폼용 코드베이스에서 파생된 것이라고 설명했습니다.1 이는 기술적 한계가 아닌, 고가의 자동차(DRIVE) 시장과 상대적으로 저렴한 엣지 컴퓨팅(Jetson) 시장에 대한 사업적/지원적 결정의 차이로 해석됩니다. 개발자에게 이것이 의미하는 바는 명확합니다. Jetson Orin에서 하이퍼바이저를 구현하는 것은 전적으로 커뮤니티의 노력과 비공식적인 방법에 의존해야 하며, 공식 문서나 기술 지원을 기대할 수 없다는 것입니다.


이 장에서는 여러 개의 완전한 기능을 갖춘 운영체제를 통합하기 위해 설계된 범용 하이퍼바이저인 KVM과 Xen을 심층적으로 분석합니다. Orin 플랫폼에 대한 아키텍처 적합성과 구현의 현실적인 과제, 특히 통합 GPU(iGPU) 가상화 문제에 초점을 맞춥니다.

Xen의 드라이버 도메인(Dom0) 모델은 KVM의 모놀리식 커널 접근 방식보다 장치 가상화를 위한 더 명확한 아키텍처적 분리를 제공합니다. KVM에서는 호스트 커널이 기본적으로 모든 장치를 ‘소유’하므로, Orin iGPU와 같이 복잡하게 통합된 장치를 분리해내기가 어렵습니다. 반면 Xen에서 Dom0은 (특권을 가졌을 뿐) 또 하나의 VM에 불과합니다. 따라서 “Dom0에서 장치를 빼앗아 DomU에 준다”는 개념적 모델이 훨씬 자연스럽습니다. 이러한 아키텍처의 차이점은 커뮤니티가 Orin에서 KVM보다 Xen(meta-xen)으로 더 가시적인 성공을 거둔 이유를 설명해 줍니다.

또한, meta-xen이라는 Yocto 레이어의 존재는 그 자체로 강력한 이점입니다. Yocto는 커널, 부트로더, 루트 파일 시스템, 모든 구성을 포함하는 임베디드 시스템용 맞춤형 리눅스 배포판을 빌드하는 복잡성을 처리하도록 설계되었습니다. 커뮤니티가 meta-xen 레이어를 제공함으로써, Orin을 위한 완전하고 작동하는 Xen 이미지를 재현 가능하고 자동화된 방식으로 빌드할 수 있게 되었습니다. 이는 KVM 가이드에서 볼 수 있는 수동 패치 및 컴파일 단계의 집합보다 훨씬 견고하고 유지보수가 용이한 솔루션입니다.28 이는 Xen 커뮤니티의 노력이 더 높은 성숙도에 도달했음을 시사하며, 실제 제품 개발에 있어 중요한 장점으로 작용합니다.


이 장에서는 범용 통합이 아닌, 실시간 결정성 및 고신뢰성 보안과 같은 특정 사용 사례를 위해 설계된 하이퍼바이저에 초점을 맞춥니다. “언제 KVM과 Xen이 부적합한 도구이며, 그 대안으로 무엇을 사용해야 하는가?”라는 질문에 답하는 것을 목표로 합니다.

이 네 가지 하이퍼바이저는 격리의 보증 수준과 복잡성이라는 측면에서 하나의 스펙트럼을 형성합니다. KVM과 Xen은 범용 OS를 위한 기능적 격리를 제공하여 VM들이 서로를 다운시키지 않도록 하는 데 중점을 둡니다. 반면 Jailhouse는 실시간 작업을 위한 시간적 격리를 제공하여, 리눅스가 RTOS의 데드라인을 놓치게 만드는 것을 방지하는 것이 목표입니다.4 마지막으로 seL4는

증명 가능한 보안 격리를 제공하여, 한 컴포넌트의 악의적인 코드가 다른 컴포넌트를 침해하는 것을 수학적 확실성으로 방지하고자 합니다.6 이는 사용자의 시스템 요구사항에 따라 명확한 의사결정 프레임워크를 제공합니다.

또한, 이들 하이퍼바이저는 활성화 방식에서도 중요한 차이를 보입니다. Xen과 seL4는 부트로더가 커널 대신 자신을 먼저 로드하는 고전적인 Type-1 하이퍼바이저입니다. 반면 Jailhouse는 완전한 리눅스 시스템이 부팅된 후, 런타임에 커널 모듈(jailhouse.ko)로 로드되어 시스템을 파티셔닝하는 독특한 모델을 가집니다.3 이러한 Jailhouse의 접근 방식은 개발과 디버깅에 있어 실용적인 이점을 제공합니다. 언제든지 안정적인 리눅스 시스템으로 돌아갈 수 있으며, 부트로더를 건드리는 복잡한 과정 없이 파티셔닝을 활성화/비활성화할 수 있습니다. 이는 기존 리눅스 기반 Jetson 프로젝트에 점진적으로 실시간 기능을 추가하고자 할 때, Xen이나 seL4에 비해 훨씬 낮은 진입 장벽을 제공합니다.


이 마지막 장에서는 모든 분석 결과를 종합하여 직접적인 비교를 제공하고, 명확하며 사용 사례에 기반한 권고안을 제시합니다. “이 모든 정보를 고려할 때, 내 프로젝트에 어떤 하이퍼바이저를 선택해야 하는가?”라는 최종 질문에 답하는 것을 목표로 합니다.

다음 표는 본 보고서의 분석 결과를 요약하여 네 가지 하이퍼바이저 옵션을 다각적으로 비교할 수 있는 의사결정 도구를 제공합니다.

비교 기준 KVM Xen Jailhouse seL4
하이퍼바이저 타입 리눅스 커널 모듈 (Type-1) 마이크로커널 (Type-1) 정적 파티셔닝 하이퍼바이저 형식 검증 마이크로커널 (Type-1)
주요 사용 사례 범용 서버/데스크톱 가상화 서버 통합, 클라우드, 임베디드 혼합 현실, 실시간 시스템 고신뢰성 보안/안전 시스템
NVIDIA 공식 지원 없음 없음 없음 없음
Orin 커뮤니티 지원 낮음 (커널/DTB 패치 필요) 높음 (meta-xen Yocto 레이어 존재) 없음 (TX1/TX2 기반 포팅 필요) 없음 (TX1/TX2 기반 포팅 필요)
구현 용이성 중간 (커널 컴파일) 높음 (Yocto 빌드 자동화) 낮음 (포팅 및 수동 설정) 매우 낮음 (포팅 및 복잡한 시스템 설계)
CPU 가상화 우수 (리눅스 네이티브) 우수 (성숙한 구현) 정적 파티셔닝 (가상화 아님) 우수 (증명된 격리)
iGPU 가상화 상태 불안정 (커뮤니티 해결책 부재) 유망 (meta-xen에서 지원 주장) 미지원 (장치 직접 할당 모델) 미지원 (포팅 필요)
실시간 성능 낮음 (범용 스케줄러) 중간 (실시간 스케줄러 사용 가능) 매우 우수 (결정론적, 최소 간섭) 우수 (MCS 스케줄링 보장)
보안 보증 표준 리눅스 수준 높음 (마이크로커널 설계) 높음 (엄격한 정적 격리) 최상 (형식 검증 완료)
게스트 OS 지원 광범위 (AArch64 호환 OS) 광범위 (Linux, BSD, Zephyr 등) 제한적 (Linux, RTOS, Bare-metal) 제한적 (Linux, CAmkES 컴포넌트)
라이선스 GPLv2 (커널), LGPL (QEMU) GPLv2 GPLv2 GPLv2

본 분석을 통해 Jetson Orin 플랫폼에서의 베어메탈 하이퍼바이저 선택은 “최고”의 솔루션을 찾는 것이 아니라, “최적”의 솔루션을 찾는 과정임이 명확해졌습니다. 각 하이퍼바이저는 뚜렷한 강점과 약점을 가지며, 프로젝트의 핵심 요구사항(성능, 실시간성, 보안)에 따라 선택이 달라져야 합니다.

VM 내부에서 GPU 가속이 필요한 모든 프로젝트의 경우, 가장 중요한 과제는 iGPU 패스스루 문제를 해결하는 것입니다. 현재로서는 meta-xen 프로젝트 2가 커뮤니티 전체에서 가장 유망한 출발점을 제공하고 있습니다.

NVIDIA의 공식 지원이 부재한 상황에서 1, 모든 진전은 전적으로 오픈 소스 커뮤니티의 협력에 달려 있습니다.

meta-xen과 같은 프로젝트를 지원하고, KVM을 위한 DTB 구성을 공유하며, Jailhouse/seL4를 Orin에 포팅하는 노력은 Jetson Orin 플랫폼의 가상화 잠재력을 최대한 발휘하는 데 매우 중요합니다.

엣지에서의 가상화와 워크로드 통합의 중요성이 계속해서 커지고 있으므로, 커뮤니티의 수요가 증가하면 NVIDIA가 DRIVE 플랫폼과 유사하게 Jetson에 대해서도 더 많은 공식 지원을 제공할 가능성을 배제할 수 없습니다. 또한 Ampere 서버에서의 Xen 지원과 같은 42 더 넓은 ARM 가상화 생태계의 발전 역시 Jetson 사용자들에게 긍정적인 영향을 미칠 것입니다.

  1. Nvidia Jetson AGX Orin VM in hypervisor mode, accessed July 15, 2025, https://forums.developer.nvidia.com/t/nvidia-jetson-agx-orin-vm-in-hypervisor-mode/261056
  2. Meta-xen layer - GitHub, accessed July 15, 2025, https://github.com/KPGURAV10/meta-xen
  3. siemens/jailhouse: Linux-based partitioning hypervisor - GitHub, accessed July 15, 2025, https://github.com/siemens/jailhouse
  4. Virtualization: Jailhouse Hypervisor on AM572x Reference Design - Texas Instruments, accessed July 15, 2025, https://www.ti.com/lit/pdf/tidudf8
  5. Supported platforms - seL4 Docs, accessed July 15, 2025, https://docs.sel4.systems/Hardware/
  6. seL4 - Open Source Real-Time Operating Systems (RTOS) - OSRTOS, accessed July 15, 2025, https://www.osrtos.com/rtos/sel4/
  7. Jetson Modules, Support, Ecosystem, and Lineup NVIDIA Developer, accessed July 15, 2025, https://developer.nvidia.com/embedded/jetson-modules
  8. jetson-orin-nano-datasheet-r4-web.pdf - Open Zeka, accessed July 15, 2025, https://openzeka.com/wp-content/uploads/2023/03/jetson-orin-nano-datasheet-r4-web.pdf
  9. NVIDIA Jetson AGX Orin Developer Kit Datasheet, accessed July 15, 2025, https://assets.alliedelec.com/v1670929267/Datasheets/6025cdcab30cf3284777cae5276ec75b.pdf
  10. Welcome - NVIDIA Jetson Linux Developer Guide 1 documentation, accessed July 15, 2025, https://docs.nvidia.com/jetson/archives/r35.5.0/DeveloperGuide/index.html
  11. NVIDIA Jetson AGX Orin - OpenZeka, accessed July 15, 2025, https://openzeka.com/wp-content/uploads/2022/02/Jetson_AGX_Orin_DS-10662-001_v0.2.pdf
  12. NVIDIA Jetson Orin NX Series, accessed July 15, 2025, https://developer.nvidia.com/downloads/jetson-orin-nx-series-data-sheet
  13. NVIDIA Jetson AGX Orin GPU: Technical Specs, Features, and Use Cases - server-parts.eu, accessed July 15, 2025, https://www.server-parts.eu/post/nvidia-jetson-agx-orin-gpu-specs
  14. NVIDIA Jetson Orin Developer Kit - Firefly, accessed July 15, 2025, https://en.t-firefly.com/nv/developer
  15. NVIDIA Jetson AGX Orin 64 GB Specs TechPowerUp GPU Database, accessed July 15, 2025, https://www.techpowerup.com/gpu-specs/jetson-agx-orin-64-gb.c4085
  16. NVIDIA Jetson AGX Orin Series, accessed July 15, 2025, https://www.nvidia.com/content/dam/en-zz/Solutions/gtcf21/jetson-orin/nvidia-jetson-agx-orin-technical-brief.pdf
  17. NVIDIA Jetson Orin Nano Developer Kit - Seeed Studio, accessed July 15, 2025, https://files.seeedstudio.com/wiki/Jetson-Orin-Nano-DevKit/jetson-orin-nano-developer-kit-datasheet.pdf
  18. NVIDIA® Jetson Orin™ NX Edge AI Computing - Specifications - NEXCOM, accessed July 15, 2025, https://www.nexcom.com/Products/multi-media-solutions/ai-edge-computer/nvidia-solutions/aiedge-x-80/Specifications
  19. Introduction to the ARMv8 Virtualization System openEuler, accessed July 15, 2025, https://www.openeuler.org/en/blog/yorifang/2020-10-24-arm-virtualization-overview.html
  20. Xen VGA Passthrough - Xen Project Wiki, accessed July 15, 2025, https://wiki.xenproject.org/wiki/Xen_VGA_Passthrough
  21. bryansteiner/gpu-passthrough-tutorial - GitHub, accessed July 15, 2025, https://github.com/bryansteiner/gpu-passthrough-tutorial
  22. Boot a VM on an NVIDIA Jetson AGX Orin - Cloudkernels, accessed July 15, 2025, https://blog.cloudkernels.net/posts/orin-vm/
  23. How is KVM a bare metal Hypervisor? : r/kernel - Reddit, accessed July 15, 2025, https://www.reddit.com/r/kernel/comments/1854y3r/how_is_kvm_a_bare_metal_hypervisor/
  24. Is it possible to install KVM on bare metal? - Unix & Linux Stack Exchange, accessed July 15, 2025, https://unix.stackexchange.com/questions/269049/is-it-possible-to-install-kvm-on-bare-metal
  25. KVM: Bare-Metal Hypervisor? - Virtualization Review, accessed July 15, 2025, https://virtualizationreview.com/blogs/mental-ward/2009/02/kvm-baremetal-hypervisor.aspx
  26. guide to set up a KVM development environment on 64-bit ARMv8 processors, accessed July 15, 2025, http://www.virtualopensystems.com/en/solutions/guides/kvm-on-armv8/
  27. Arm System emulator - QEMU documentation, accessed July 15, 2025, https://www.qemu.org/docs/master/system/target-arm.html
  28. lattice0/jetson_nano_kvm: How to rebuild the kernel to activate KVM on the Nvidia Jetson Nano - GitHub, accessed July 15, 2025, https://github.com/lattice0/jetson_nano_kvm
  29. Guide to enable KVM on the Xavier - Jetson AGX Xavier - NVIDIA Developer Forums, accessed July 15, 2025, https://forums.developer.nvidia.com/t/guide-to-enable-kvm-on-the-xavier/119777
  30. How to enable GPU passthrough with KVM/QEMU ? : r/pop_os - Reddit, accessed July 15, 2025, https://www.reddit.com/r/pop_os/comments/188f1ym/how_to_enable_gpu_passthrough_with_kvmqemu/
  31. Qemu KVM with GPU passthrough on two nvidia GPUs in a wayland session. - Reddit, accessed July 15, 2025, https://www.reddit.com/r/linuxquestions/comments/gk7c82/qemu_kvm_with_gpu_passthrough_on_two_nvidia_gpus/
  32. Virtualization for PCIe? - Jetson Orin Nano - NVIDIA Developer Forums, accessed July 15, 2025, https://forums.developer.nvidia.com/t/virtualization-for-pcie/260536
  33. libvirt: use ‘host-passthrough’ as default on AArch64 / 8bc7b950b7 - nova - OpenDev, accessed July 15, 2025, https://opendev.org/openstack/nova/commit/8bc7b950b7c0a3c80cdd120fe4df97c14848c344
  34. GPU passthrough virtualisation on AGX orin with kvm - NVIDIA Developer Forums, accessed July 15, 2025, https://forums.developer.nvidia.com/t/gpu-passthrough-virtualisation-on-agx-orin-with-kvm/322467
  35. KVM/arm64-specific hypercalls exposed to guests - The Linux Kernel documentation, accessed July 15, 2025, https://docs.kernel.org/virt/kvm/arm/hypercalls.html
  36. QEMU Emulation for ARM AArch64 Virt KVM - Zephyr Project Documentation, accessed July 15, 2025, https://docs.zephyrproject.org/latest/boards/qemu/kvm_arm64/doc/index.html
  37. Virtualization on ARM with Xen, accessed July 15, 2025, https://xenproject.org/blog/virtualization-on-arm-with-xen/
  38. Hypervisor Xen Project, accessed July 15, 2025, https://xenproject.org/projects/hypervisor/
  39. The Bare-Metal Hypervisor as a Platform for Innovation - Xen Project, accessed July 15, 2025, https://xenproject.org/blog/the-bare-metal-hypervisor-as-a-platform-for-innovation/
  40. Looking for tips: building a workstation around Xen and GPU pass-through - Super User, accessed July 15, 2025, https://superuser.com/questions/284779/looking-for-tips-building-a-workstation-around-xen-and-gpu-pass-through
  41. VirtIO GPU and Passthrough GPU Support for Xen - Ray Huang, AMD - YouTube, accessed July 15, 2025, https://m.youtube.com/watch?v=o2cltCpRDtU
  42. Xen on Ampere: A New Era for ARM in the Data Center - XCP-ng, accessed July 15, 2025, https://xcp-ng.org/blog/2025/03/18/xen-on-ampere-new-era/
  43. Xen Hypervisor - Arm Developer, accessed July 15, 2025, https://developer.arm.com/documentation/110457/0100/Xen-Hypervisor
  44. How to Support Your OS as Xen on ARM Guest - Julien Grall, Linaro - YouTube, accessed July 15, 2025, https://www.youtube.com/watch?v=lNJFTgv5YPU
  45. 3.8.1. Jailhouse Hypervisor - Processor SDK Linux Automotive Documentation - http, accessed July 15, 2025, https://software-dl.ti.com/jacinto7/esd/processor-sdk-linux-jacinto7/06_01_01_02/exports/docs/linux/Foundational_Components/Virtualization/Jailhouse.html
  46. 3.14.1. Jailhouse Hypervisor - Processor SDK Linux Documentation - http, accessed July 15, 2025, https://software-dl.ti.com/processor-sdk-linux/esd/docs/06_02_00_81/linux/Foundational_Components/Virtualization/Jailhouse.html
  47. BU-maintained version of the Jailhouse partitioning hypervisor with real-time features - GitHub, accessed July 15, 2025, https://github.com/rntmancuso/jailhouse-rt
  48. Building Mixed Criticality Linux Systems with the Jailhouse Hypervisor - Ralf Ramsauer, accessed July 15, 2025, https://www.youtube.com/watch?v=pvs0fv-gnvw
  49. Real Time Applications On Jetson TX1 With Jailhouse Hypervisor - YouTube, accessed July 15, 2025, https://www.youtube.com/watch?v=RXV8L2YHHPw
  50. Jailhouse hypervisor for Nvidia Jetson TX1 and TX2 - GitHub, accessed July 15, 2025, https://github.com/evidence/linux-jailhouse-jetson
  51. Real Time Applications on Jetson with Jailhouse Hypervisor - Embien Technologies, accessed July 15, 2025, https://www.embien.com/blog/real-time-applications-on-jetson-with-jailhouse-hypervisor
  52. 3.7.1. Jailhouse Hypervisor - Processor SDK Linux for J721e Documentation - http, accessed July 15, 2025, https://software-dl.ti.com/jacinto7/esd/processor-sdk-linux-jacinto7/07_03_00_05/exports/docs/linux/Foundational_Components/Virtualization/Jailhouse.html
  53. jailhouse/README.md at master - GitHub, accessed July 15, 2025, https://github.com/siemens/jailhouse/blob/master/README.md
  54. seL4 Reference Manual Version 13.0.0, accessed July 15, 2025, https://sel4.systems/Info/Docs/seL4-manual-latest.pdf
  55. How can I port seL4 to a new ARM hardware platform?, accessed July 15, 2025, https://sel4.discourse.group/t/how-can-i-port-sel4-to-a-new-arm-hardware-platform/15