skills.rest
jonaschen
jonaschenCOMMUNITY
Explore all skills by this author →
GitHub

L2-virtualization-pkvm-expert

Guide Android virtualization troubleshooting through pKVM and AVF subsystem context.

40|7|Updated Mar 14, 2026
Search Tags:#virtualization#selinux#vsock#pkvm#microdroid#crosvm#avf
One-click install
npx skills add https://github.com/jonaschen/Android-Software --skill l2-virtualization-pkvm-expert
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: L2-virtualization-pkvm-expert
Source: https://github.com/jonaschen/Android-Software/tree/main/skills/L2-virtualization-pkvm-expert
Command: npx skills add https://github.com/jonaschen/Android-Software --skill l2-virtualization-pkvm-expert

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill keeps Android agents from misrouting virtualization tasks across unrelated subsystems by codifying the pKVM, AVF, Microdroid, and kernel boundaries so that guidance stays accurate, safe, and contextually focused.

Core Features & Use Cases

  • Path scope clarity: Defines packages/modules/Virtualization, external/crosvm, frameworks/libs/vmbase, and kernel/SELinux touchpoints so that troubleshooting follows verified paths.
  • Architecture intelligence: Documents EL3 through EL0 stacks, pKVM stage-2 isolation, crosvm device threads, Microdroid boot flow, vsock constraints, forbidden actions, and handoff rules to other experts.
  • Operational tooling: Includes the check_pkvm_status.sh readiness probe, a curated set of adb commands, build and test targets, and a deep-dive reference document to validate AVF readiness.
  • Use Case: When investigating a failing Microdroid launch, vsock connection, or pKVM ioctl error, the Skill turns user intent into the correct subsystem context for root-cause analysis.

Quick Start

Ask the agent to correlate virtualizationservice, crosvm, and pKVM details before prescribing changes.

Frequently Asked Questions about L2-virtualization-pkvm-expert

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I troubleshoot a failing Microdroid launch in Android?▼

To troubleshoot a failing Microdroid launch, validate /dev/kvm status, check SELinux constraints, and verify vsock CID rules using the documented AVF boot flow and crosvm tooling architecture.

What is pKVM stage-2 isolation and when do I need it?▼

pKVM stage-2 isolation is an Android virtualization mechanism spanning EL3 through EL0 stacks that isolates guest VMs. You need it whenever packages/modules/Virtualization or arch/arm64/kvm virtualization stages are in scope.

How do I check pKVM and AVF readiness using adb?▼

Check pKVM and AVF readiness by running the check_pkvm_status.sh readiness probe alongside a curated set of adb commands to validate virtualizationservice, crosvm, and kernel pKVM details.

Why does my Android vsock connection fail during virtualization?▼

Android vsock connections fail when CID rules are violated or SELinux constraints block the virtualizationservice. Correlate crosvm device threads and pKVM details to identify the specific subsystem root cause.

Can I use crosvm tooling to debug pKVM ioctl errors?▼

Yes, you can use crosvm tooling to debug pKVM ioctl errors by verifying /dev/kvm status and tracing crosvm device threads within the packages/modules/Virtualization subsystem boundaries.

What are the limitations when navigating Android virtualization subsystems?▼

Limitations include forbidden actions that misroute tasks across unrelated subsystems. You must respect documented pKVM, AVF, Microdroid, and kernel boundaries to ensure troubleshooting follows verified paths safely.

Related Skills

Explore More Software Engineering Skills→
DustinTrapDustinTrap
2

checkpoint

Scan the kvm-pilot repository for uncommitted code and stale documentation.

Community
Advanced
aospbooksaospbooks
122

aosp-part-infrastructure

Identify and contextualize Android infrastructure topics across Mainline, APEX, OTA, and virtualization.

Official
Advanced
hyperb1isshyperb1iss
32

android

Automate Android device management and debugging via ADB and shell commands.

Community
Advanced
alicangnllalicangnll

VM Escape

Detect hypervisors and analyze device emulation for VM escape vulnerabilities.

Community
Advanced