All issues

Search results

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

Status: Open.

#126 In seL4/seL4_projects_libs;

· colorglass opened on Mar 22, 2024

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

Status: Open.

#113 In seL4/seL4_projects_libs;

· colorglass opened on Sep 7, 2023

sel4vm: Remove vspace dependency

Status: Open.

#97 In seL4/seL4_projects_libs;

· kent-mcleod opened on Apr 25, 2023

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

help wanted

Status: Open.

#75 In seL4/seL4_projects_libs;

· axel-h opened on Sep 28, 2022

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

question

Status: Open.

#53 In seL4/seL4_projects_libs;

· axel-h opened on May 11, 2022

libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?

question

Status: Open.

#47 In seL4/seL4_projects_libs;

· axel-h opened on May 3, 2022

Document difference between this repository and seL4_libs

Status: Open.

#44 In seL4/seL4_projects_libs;

· DemiMarie opened on Apr 20, 2022

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

bug

Status: Open.

#35 In seL4/seL4_projects_libs;

· axel-h opened on Mar 11, 2022

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

enhancement

Status: Open.

#26 In seL4/seL4_projects_libs;

· kent-mcleod opened on Feb 8, 2022

libsel4arm-vmm: non 32-bit faults handled incorrectly

Status: Open.

#3 In seL4/seL4_projects_libs;

· agacek opened on Mar 6, 2017