1. axvm
  2. Overview
  3. Core Architecture
    1. Virtual Machine Implementation
    2. Virtual CPU Architecture
    3. Hardware Abstraction Layer
  4. Configuration System
  5. Dependencies and Integration
  6. Development Guide
    1. Build and Testing
    2. License and Legal
  7. axvisor
  8. Overview
  9. Architecture
    1. System Components
    2. VM Management
    3. Hardware Abstraction Layer
    4. Memory Management
  10. Configuration
    1. VM Configuration
    2. Platform-Specific Configuration
  11. Building and Running
    1. Guest VMs
    2. Development Environment
  12. Technical Reference
    1. VMM Implementation
    2. VCPU Management
    3. Timer Subsystem
  13. Contributing
    1. Testing Infrastructure
    2. CI/CD Pipeline
  14. axdevice_crates
  15. Overview
    1. Project Structure
  16. Core Architecture
    1. BaseDeviceOps Trait
    2. Device Type System
    3. Address Space Management
  17. Dependencies and Integration
    1. ArceOS Integration
  18. Development Guide
    1. Build System and CI
    2. Implementing New Devices
  19. arm_vcpu
  20. Overview
    1. System Architecture
    2. Dependencies and Build System
  21. Virtual CPU Management
    1. VCPU Lifecycle and Operations
    2. Per-CPU State Management
  22. Context Switching and State Management
    1. TrapFrame and System Registers
  23. Exception Handling System
    1. Assembly Exception Vectors
    2. Exception Analysis and Utilities
    3. High-Level Exception Handling
  24. System Integration
    1. Secure Monitor Interface
    2. Hardware Abstraction and Platform Support
  25. axvcpu
  26. Overview
  27. Core VCPU Management
    1. VCPU State Machine and Lifecycle
    2. Architecture Abstraction Layer
  28. Exit Handling System
    1. Exit Reasons and Categories
    2. Memory Access and I/O Operations
  29. Implementation Details
    1. Per-CPU Virtualization State
    2. Hardware Abstraction Layer
  30. Development and Build System
    1. Dependencies and Integration
    2. Testing and Continuous Integration
  31. Licensing and Legal
  32. axaddrspace
  33. Overview
  34. Core Architecture
    1. Address Types and Spaces
    2. Address Space Management
    3. Hardware Abstraction Layer
  35. Nested Page Tables
    1. Architecture Selection
    2. AArch64 Implementation
    3. x86_64 Implementation
    4. RISC-V Implementation
  36. Memory Mapping Backends
    1. Linear Backend
    2. Allocation Backend
  37. Device Support
  38. Development Guide
  39. riscv_vcpu
  40. Overview
  41. Core VCPU Implementation
    1. VCPU Lifecycle and Management
    2. SBI Interface and Hypercalls
    3. VM Exit Processing
  42. System Architecture
    1. Per-CPU Management
    2. Hardware Detection
    3. Register Management
  43. Low-Level Implementation
    1. Trap Handler Implementation
    2. CSR Definitions and Hardware Registers
    3. System Constants and Trap Definitions
  44. Development and Tooling
  45. axdevice
  46. Overview
  47. System Architecture
  48. Core Components
    1. Configuration Management
    2. Device Emulation
  49. ArceOS Ecosystem Integration
  50. Development Guide
  51. x86_vcpu
  52. Overview
  53. VMX Virtualization Engine
    1. Virtual CPU Management
    2. VMX Data Structures
    3. VMCS Field Management
    4. Per-CPU VMX State
  54. Memory Management
    1. Physical Frame Management
    2. Extended Page Tables and Guest Memory
  55. Supporting Systems
    1. Register Management
    2. Model-Specific Register Access
    3. VMX Definitions and Types
    4. VMX Instructions
  56. Development and Configuration
    1. Project Configuration
    2. Build System and CI
  57. arm_vgic
  58. Overview
  59. System Architecture
  60. Core Components
    1. Virtual GIC Controller (Vgic)
    2. CPU Interface (Vgicc)
    3. Device Operations Interface
    4. Constants and Register Layout
  61. Dependencies and Integration
    1. Dependency Analysis
    2. Build Configuration
  62. x86_vlapic
  63. Overview
  64. Core Architecture
    1. EmulatedLocalApic Device Interface
    2. Virtual Register Management
    3. Register Address Translation
  65. Register System
    1. Register Constants and Offsets
    2. Local Vector Table (LVT)
      1. Timer LVT Register
      2. External Interrupt Pin Registers
      3. System Monitoring LVT Registers
      4. Error Handling LVT Registers
    3. Control and Status Registers
  66. Development and Project Management
  67. arm_gicv2
  68. Overview
  69. Core Architecture
    1. GIC Distributor Component
    2. CPU Interface Component
    3. Interrupt Processing Pipeline
  70. Interrupt Types and Management
    1. Interrupt Classification System
    2. Software Generated Interrupts
  71. Register Interface
    1. Register Module Organization
    2. GICD_SGIR Register Details
  72. Development and Integration
    1. Crate Configuration and Dependencies
    2. Build System and Development Workflow