doctorspider42 avatar

doctorspider42

Community

@doctorspider42

7Followers
|
53Public Repos
|
10Published Skills

doctorspider42 maintains skills for building Entangled Desktop, a Rust-based x86 hypervisor with KVM/WHP backends, virtio devices, ACPI, and direct Linux boot.

Skills Distribution
DomainCloud & Comp...Hypervisor & VMM E.. (40%)Virtual Device Emu.. (25%)Guest Boot & Firmw.. (20%)Virtualization Tes.. (15%)

Agent Skills by doctorspider42

Showing 10 vetted skills indexed across 1 GitHub repositories.

Frequently Asked Questions About doctorspider42

FAQPage Schema
What tasks can I accomplish with doctorspider42's skills?

You can build and test the Entangled Desktop hypervisor: implement KVM and Windows Hypervisor Platform backends, virtio devices over mmio and PCI transports, ACPI tables (RSDP/XSDT/FADT/DSDT), direct bzImage/initramfs boot, a wgpu host display, an egui manager, and verified Debian media downloads.

Who are these skills designed for?

Systems engineers and Rust developers working on x86 virtual machine monitors, device emulation, and guest boot paths. They target contributors to the Entangled Desktop codebase who need guidance on vmm-core, machine-x86, virtio crates, and the display and manager applications.

What environment is required to build and run Entangled Desktop?

A two-host setup: Windows native plus WSL Ubuntu. The dev-environment skill mandates specific cargo target directories, VM disk placement, and disk-space discipline to prevent the WSL VHDX from consuming drive C:, and must be loaded before any build, worktree, or demo VM launch.

How is hypervisor correctness tested?

The vm-testing skill covers unit and malicious-guest tests, boot-to-marker integration tests, 100-boot and soak runs, fuzzing, and screenshot comparison. It also explains how to execute KVM tests inside WSL and CI pipelines, mapped to per-epic acceptance criteria.

How does the project handle guest OS boot and installation media?

Linux guests boot directly via bzImage plus initramfs without BIOS/UEFI, using boot_params, E820, and a 16550 serial console. The debian-media skill resolves Debian channels and versions with an OpenPGP plus SHA-512 verification chain and provenance manifests.