All issues

Search results

x86 VMs does not work on Microkit SMP configs

Status: Open.

#387 In au-ts/libvmm;

· dreamliner787-9 opened on Aug 12, 2026

ARM: add checks for available initrd size

Status: Open.

#384 In au-ts/libvmm;

· dreamliner787-9 opened on Aug 10, 2026

Make the guest image part of the metaprogram

Status: Open.

#381 In au-ts/libvmm;

· midnightveil opened on Aug 7, 2026

x86: implement proper ACPI based shutdown and restart

Status: Open.

#379 In au-ts/libvmm;

· dreamliner787-9 opened on Aug 6, 2026

UEFI: support EFI variables

Status: Open.

#376 In au-ts/libvmm;

· dreamliner787-9 opened on Aug 5, 2026

examples/SMP: Linux hangs if vCPUs' priority < VMM

Status: Open.

#374 In au-ts/libvmm;

· dreamliner787-9 opened on Aug 4, 2026

Support multiple VCPUs on x86-64

Status: Open.

#368 In au-ts/libvmm;

· dreamliner787-9 opened on Jul 28, 2026

Allow client code of the virtual PCI bus to create prefetchable MMIO BARs

Status: Open.

#338 In au-ts/libvmm;

· dreamliner787-9 opened on Jul 20, 2026

Reduce amount of assert in the codebase

Status: Open.

#320 In au-ts/libvmm;

· dreamliner787-9 opened on Jul 13, 2026

Make x86's guest_time.c arch agnostic

Status: Open.

#311 In au-ts/libvmm;

· dreamliner787-9 opened on Jul 10, 2026

Use HLT Exiting on x86

Status: Open.

#310 In au-ts/libvmm;

· dreamliner787-9 opened on Jul 10, 2026

Do not hardcode physical addresses for x86 examples

Status: Open.

#303 In au-ts/libvmm;

· dreamliner787-9 opened on Jul 8, 2026