Search results

Create a Windows 10/11 example for x86-64

Status: Open.

#279 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Create an example that boots a UEFI firmware

Status: Open.

#278 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Add simple example to hardware x86 CI.

Status: Open.

#277 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Pin to the July Microkit release when it happens.

Status: Open.

#276 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Virtualise microcode revision, so that the guest does not have to turn on all CPU bugs mitigations.

Status: Open.

#275 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Add proper APIs for PCI passthrough.

Status: Open.

#274 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Supporting VirtIO devices on x86-64.

Status: Open.

#273 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Decoupling of the PCI Bus from the VirtIO code, since we must emulate other devices such as the chipset on x86-64.

Status: Open.

#272 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

RTC emulation, so that Linux doesn't hang for a few seconds on boot, and a hard requirement for Windows.

Status: Open.

#271 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

x86-64 TODOs

Status: Open.

#270 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 17, 2026

Virtual Switch todos

Status: Open.

#264 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 10, 2026

VirtIO Block: occasional hang

Status: Open.

#263 In au-ts/libvmm;

· dreamliner787-9 opened on Jun 10, 2026