Giters
seL4
/
seL4_projects_libs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
18
Watchers:
26
Issues:
17
Forks:
37
seL4/seL4_projects_libs Issues
sel4vm: Remove vspace dependency
Updated
a year ago
Investigate VMM issues with GCC8.4 at "-o3"
Updated
2 years ago
github CI job 'trigger' should not run on forks
Closed
2 years ago
Comments count
1
do interrupt maintenance if interrupt is set pending (ie enqueued)
Updated
2 years ago
libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?
Updated
2 years ago
Comments count
6
Document difference between this repository and seL4_libs
Updated
2 years ago
libsel4vmmplatsupport: virtio_net driver lacks support for IO control to change MAC address
Updated
2 years ago
libsel4arm-vmm: non 32-bit faults handled incorrectly
Updated
2 years ago
Comments count
1
libsel4arm-vmm: add support for decoding and emulating arm instructions
Updated
2 years ago
delete merged branch xu4_vmm_wip
Closed
3 years ago
Comments count
1
delete merged branches
Closed
3 years ago
Comments count
2
libsel4vmmplatsupport: unaligned PCI BAR address (x86, PCI pass-through)
Closed
3 years ago
gic_dist_map define error, not work
Closed
4 years ago
Comments count
3
libvchan.h includes <linux/types.h>
Closed
8 years ago
Comments count
4