- axvm
- 1. Overview
- 2. Core Architecture
- 2.1. Virtual Machine Implementation
- 2.2. Virtual CPU Architecture
- 2.3. Hardware Abstraction Layer
- 3. Configuration System
- 4. Dependencies and Integration
- 5. Development Guide
- 5.1. Build and Testing
- 5.2. License and Legal
- axvisor
- 6. Overview
- 7. Architecture
- 7.1. System Components
- 7.2. VM Management
- 7.3. Hardware Abstraction Layer
- 7.4. Memory Management
- 8. Configuration
- 8.1. VM Configuration
- 8.2. Platform-Specific Configuration
- 9. Building and Running
- 9.1. Guest VMs
- 9.2. Development Environment
- 10. Technical Reference
- 10.1. VMM Implementation
- 10.2. VCPU Management
- 10.3. Timer Subsystem
- 11. Contributing
- 11.1. Testing Infrastructure
- 11.2. CI/CD Pipeline
- axdevice_crates
- 12. Overview
- 12.1. Project Structure
- 13. Core Architecture
- 13.1. BaseDeviceOps Trait
- 13.2. Device Type System
- 13.3. Address Space Management
- 14. Dependencies and Integration
- 14.1. ArceOS Integration
- 15. Development Guide
- 15.1. Build System and CI
- 15.2. Implementing New Devices
- arm_vcpu
- 16. Overview
- 16.1. System Architecture
- 16.2. Dependencies and Build System
- 17. Virtual CPU Management
- 17.1. VCPU Lifecycle and Operations
- 17.2. Per-CPU State Management
- 18. Context Switching and State Management
- 18.1. TrapFrame and System Registers
- 19. Exception Handling System
- 19.1. Assembly Exception Vectors
- 19.2. Exception Analysis and Utilities
- 19.3. High-Level Exception Handling
- 20. System Integration
- 20.1. Secure Monitor Interface
- 20.2. Hardware Abstraction and Platform Support
- axvcpu
- 21. Overview
- 22. Core VCPU Management
- 22.1. VCPU State Machine and Lifecycle
- 22.2. Architecture Abstraction Layer
- 23. Exit Handling System
- 23.1. Exit Reasons and Categories
- 23.2. Memory Access and I/O Operations
- 24. Implementation Details
- 24.1. Per-CPU Virtualization State
- 24.2. Hardware Abstraction Layer
- 25. Development and Build System
- 25.1. Dependencies and Integration
- 25.2. Testing and Continuous Integration
- 26. Licensing and Legal
- axaddrspace
- 27. Overview
- 28. Core Architecture
- 28.1. Address Types and Spaces
- 28.2. Address Space Management
- 28.3. Hardware Abstraction Layer
- 29. Nested Page Tables
- 29.1. Architecture Selection
- 29.2. AArch64 Implementation
- 29.3. x86_64 Implementation
- 29.4. RISC-V Implementation
- 30. Memory Mapping Backends
- 30.1. Linear Backend
- 30.2. Allocation Backend
- 31. Device Support
- 32. Development Guide
- riscv_vcpu
- 33. Overview
- 34. Core VCPU Implementation
- 34.1. VCPU Lifecycle and Management
- 34.2. SBI Interface and Hypercalls
- 34.3. VM Exit Processing
- 35. System Architecture
- 35.1. Per-CPU Management
- 35.2. Hardware Detection
- 35.3. Register Management
- 36. Low-Level Implementation
- 36.1. Trap Handler Implementation
- 36.2. CSR Definitions and Hardware Registers
- 36.3. System Constants and Trap Definitions
- 37. Development and Tooling
- axdevice
- 38. Overview
- 39. System Architecture
- 40. Core Components
- 40.1. Configuration Management
- 40.2. Device Emulation
- 41. ArceOS Ecosystem Integration
- 42. Development Guide
- x86_vcpu
- 43. Overview
- 44. VMX Virtualization Engine
- 44.1. Virtual CPU Management
- 44.2. VMX Data Structures
- 44.3. VMCS Field Management
- 44.4. Per-CPU VMX State
- 45. Memory Management
- 45.1. Physical Frame Management
- 45.2. Extended Page Tables and Guest Memory
- 46. Supporting Systems
- 46.1. Register Management
- 46.2. Model-Specific Register Access
- 46.3. VMX Definitions and Types
- 46.4. VMX Instructions
- 47. Development and Configuration
- 47.1. Project Configuration
- 47.2. Build System and CI
- arm_vgic
- 48. Overview
- 49. System Architecture
- 50. Core Components
- 50.1. Virtual GIC Controller (Vgic)
- 50.2. CPU Interface (Vgicc)
- 50.3. Device Operations Interface
- 50.4. Constants and Register Layout
- 51. Dependencies and Integration
- 51.1. Dependency Analysis
- 51.2. Build Configuration
- x86_vlapic
- 52. Overview
- 53. Core Architecture
- 53.1. EmulatedLocalApic Device Interface
- 53.2. Virtual Register Management
- 53.3. Register Address Translation
- 54. Register System
- 54.1. Register Constants and Offsets
- 54.2. Local Vector Table (LVT)
- 54.2.1. Timer LVT Register
- 54.2.2. External Interrupt Pin Registers
- 54.2.3. System Monitoring LVT Registers
- 54.2.4. Error Handling LVT Registers
- 54.3. Control and Status Registers
- 55. Development and Project Management
- arm_gicv2
- 56. Overview
- 57. Core Architecture
- 57.1. GIC Distributor Component
- 57.2. CPU Interface Component
- 57.3. Interrupt Processing Pipeline
- 58. Interrupt Types and Management
- 58.1. Interrupt Classification System
- 58.2. Software Generated Interrupts
- 59. Register Interface
- 59.1. Register Module Organization
- 59.2. GICD_SGIR Register Details
- 60. Development and Integration
- 60.1. Crate Configuration and Dependencies
- 60.2. Build System and Development Workflow