issues
search
seL4
/
seL4_projects_libs
Other
19
stars
36
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
libsel4vm: Proper error for map_vm_memory_res
#127
Furao
opened
4 months ago
0
sel4vm: Switch to use ```seL4_LargePageObject``` in VM's RAM register to reduce the memory overhead
#126
colorglass
opened
5 months ago
2
libsel4vm: Remove SMP config guard on vmpidr reg
#125
kent-mcleod
closed
5 months ago
1
Arm vm multicore debug
#124
chrisguikema
opened
7 months ago
0
vmmplatsupport, vpci: Fix unaligned writes
#123
elmankku
opened
7 months ago
2
trivial, decode: fix zf_log statements
#122
chrisguikema
closed
10 months ago
0
x86, decode: fix 4-level page table walk
#121
chrisguikema
closed
10 months ago
1
vmmplatsupport, pci: fix offset bug
#120
chrisguikema
closed
10 months ago
0
vmmplatsupport, vesa: fix vesa mapping
#119
chrisguikema
closed
10 months ago
1
vmmplatsupport, x86: remove e820 entry
#118
chrisguikema
closed
10 months ago
1
vmmplatsupport: support hpet emulation
#117
chrisguikema
closed
7 months ago
1
Guest ram fixes
#116
chrisguikema
closed
10 months ago
0
sel4vm, lapic: fix apic mmio access
#115
chrisguikema
closed
10 months ago
0
libsel4vm: implement translation vspace
#114
chrisguikema
opened
11 months ago
1
libsel4vm: Fault: support 64 bits fault data mask for aarch64
#113
colorglass
opened
1 year ago
0
libsel4vm: GIC: should the vcpu here be the irq's target vcpu when called from memory fault handler?
#112
colorglass
closed
6 months ago
0
64-bit-vms: small code refactoring
#111
abrandnewusername
closed
1 year ago
0
libsel4vmmplatsupport: allow binary modules
#110
axel-h
opened
1 year ago
0
libsel4vm: fix GIC_DIST_CTLR enable handling
#109
axel-h
opened
1 year ago
0
Remove duplicate code
#108
hlyytine
closed
1 year ago
0
libsel4vmmplatsupport: make functions static
#107
axel-h
closed
1 year ago
0
Make convenience function publicly available
#106
hlyytine
closed
1 year ago
1
Extend maintenance to handle multiple LRs at a time
#105
JorgeMVP
opened
1 year ago
0
libsel4vm: Set vCPU thread name on all archs
#104
hlyytine
opened
1 year ago
0
Bug fixes and readability improvements to guest memory handling
#103
hlyytine
opened
1 year ago
0
cross_vm_connectors: Derive size properly
#102
hlyytine
closed
1 year ago
0
libsel4vmmplatsupport: reduce log level
#101
FelixSchladt
closed
1 year ago
0
Cross-connector: use dataport frame size instead of 4k default
#100
hlyytine
closed
1 year ago
10
libsel4vmmplatsupport: remove unused variable
#99
axel-h
closed
1 year ago
0
libsel4vmmplatsupport: remove newline
#98
axel-h
closed
1 year ago
0
sel4vm: Remove vspace dependency
#97
kent-mcleod
opened
1 year ago
0
libsel4vm: Adhere to gnu99 static assertion
#96
elmankku
closed
1 year ago
6
libsel4vmmplatsupport: remove more linux references
#95
axel-h
closed
1 year ago
1
libsel4vmmplatsupport: use vm->entry for zImage also
#94
axel-h
opened
1 year ago
2
libsel4vmmplatsupport: use uintptr_t
#93
axel-h
closed
1 year ago
2
libsel4vmmplatsupport: make functions static
#92
axel-h
closed
1 year ago
0
libsel4vmmplatsupport: remove superfluous statement
#91
axel-h
closed
1 year ago
1
libsel4vmmplatsupport: remove unused variable
#90
axel-h
closed
1 year ago
0
trivial: revert Copyright headers
#89
abrandnewusername
closed
1 year ago
0
virtio: improvement for virtio vsock and virtio console
#88
abrandnewusername
closed
1 year ago
4
trivial: fix compilation error
#87
abrandnewusername
closed
1 year ago
0
libsel4vm, x86: interrupt model improvements
#86
andybui01
opened
1 year ago
6
libsel4vm: guest cpu requests to vcpus from pcpus
#85
Apave24
opened
1 year ago
0
Arm VM Multicore Improvements
#84
Apave24
opened
1 year ago
5
libsel4vm, vgic: generate dist and cpu values
#83
chrisguikema
opened
1 year ago
9
libsel4vm, arm: rework load_image
#82
chrisguikema
closed
1 year ago
2
libsel4vm: add entries to vm structure
#81
chrisguikema
closed
1 year ago
2
guest_vspace: don't map object w/o rights to DMA
#80
chrisguikema
closed
1 year ago
0
libsel4vm: add vuart for zynqmp
#79
chrisguikema
closed
1 year ago
3
Add zynqmp support to libsel4vm
#78
chrisguikema
closed
1 year ago
2
Next