Issues

• sel4vm: Switch to use seL4_LargePageObject in VM's RAM register to reduce the memory overhead

  seL4/seL4_projects_libs#126 · Filter by author colorglass opened on Mar 22, 2024
  2

• libsel4vm: Fault: support 64 bits fault data mask for aarch64

  seL4/seL4_projects_libs#113 · Filter by author colorglass opened on Sep 7, 2023

• sel4vm: Remove vspace dependency

  seL4/seL4_projects_libs#97 · Filter by author kent-mcleod opened on Apr 25, 2023

• Investigate VMM issues with GCC8.4 at "-o3"

  help wanted
  seL4/seL4_projects_libs#75 · Filter by author axel-h opened on Sep 28, 2022

• do interrupt maintenance if interrupt is set pending (ie enqueued)

  question
  seL4/seL4_projects_libs#53 · Filter by author axel-h opened on May 11, 2022

• libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?

  question
  seL4/seL4_projects_libs#47 · Filter by author axel-h opened on May 3, 2022
  6

• Document difference between this repository and seL4_libs

  seL4/seL4_projects_libs#44 · Filter by author DemiMarie opened on Apr 20, 2022

• libsel4vmmplatsupport: virtio_net driver lacks support for IO control to change MAC address

  bug
  seL4/seL4_projects_libs#35 · Filter by author axel-h opened on Mar 11, 2022

• libsel4arm-vmm: add support for decoding and emulating arm instructions

  enhancement
  seL4/seL4_projects_libs#26 · Filter by author kent-mcleod opened on Feb 8, 2022

• libsel4arm-vmm: non 32-bit faults handled incorrectly

  seL4/seL4_projects_libs#3 · Filter by author agacek opened on Mar 6, 2017
  1