issues
search
seL4
/
camkes-vm
Virtual Machine built as a CAmkES component.
Other
21
stars
35
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Security vuln in Satadriver: read/write past partition boundary.
#130
ANogin
opened
2 months ago
1
Zynqmp 2022 1
#129
chrisguikema
closed
7 months ago
0
apply CI updates that were done in other repos also
#128
axel-h
closed
7 months ago
0
Patch axel 32
#127
axel-h
closed
7 months ago
0
github: update GitHub actions
#126
axel-h
closed
7 months ago
0
CMake: just depend on VmPCISupport
#125
axel-h
opened
7 months ago
0
Testing CI runs for ZCU102 hardware
#124
axel-h
closed
7 months ago
1
Zynqmp 2018 3
#123
chrisguikema
closed
7 months ago
4
[patch-axel-ci-2] test CI run for vm_introspect
#122
axel-h
closed
7 months ago
1
zcu102 ci test
#121
chrisguikema
closed
7 months ago
0
generic CI test
#120
axel-h
closed
7 months ago
8
CI test for ZCU102
#119
axel-h
closed
7 months ago
0
trivial: add petalinx version for hw-tests
#118
chrisguikema
closed
7 months ago
2
vm_arm: reduce redundancy in template
#117
axel-h
closed
7 months ago
0
Not getting true interrupts
#116
Hamed-Kh18
opened
8 months ago
0
init: dynamically determine necessary size for ALLOCMAN_VIRTUAL_SIZE
#115
chrisguikema
opened
10 months ago
0
init, trivial: allow for relocs to be optional
#114
chrisguikema
closed
10 months ago
2
init: add hooks for hpet emulation
#113
chrisguikema
closed
7 months ago
9
smc: Add header for plat specfic smc calls
#112
chrisguikema
closed
7 months ago
4
Plinux 2021.1
#111
chrisguikema
closed
11 months ago
3
How to bind a guest OS to a physical core in aarch64?
#110
colorglass
closed
1 year ago
0
vm_arm: remove line break in ZF_LOGx()
#109
axel-h
closed
1 year ago
1
libvirtio: remove unused include
#108
axel-h
closed
1 year ago
0
Upstream/fdt cleanup
#107
hlyytine
closed
1 year ago
1
libvirtio: free memory on error
#106
axel-h
closed
1 year ago
0
libvirtio: add brackets to make expression an atom
#105
axel-h
closed
10 months ago
1
libvirtio: remove unused include
#104
axel-h
closed
1 year ago
1
Use fdt_appendprop_uint() from libsel4vmmplatsupport
#103
hlyytine
closed
1 year ago
1
vm_arm: provide GIC and timer to VM on zynqmp
#102
axel-h
closed
7 months ago
3
libvirtio: fix folder name for zynqmp platform
#101
axel-h
closed
7 months ago
3
Provide a label "hw-build"
#100
axel-h
opened
1 year ago
1
vm_arm: fix typo in error message
#99
axel-h
closed
1 year ago
0
adapt new to new virtqueue API
#98
FelixSchladt
closed
1 year ago
1
Cross-connector: use dataport frame size instead of 4k default
#97
hlyytine
closed
1 year ago
4
vm_arm: remove deprecated config options
#96
axel-h
opened
1 year ago
1
Fix typo in config variable name
#95
axel-h
closed
1 year ago
1
Odroid-C2: Fix GIC DTB path and provide GIC to VM by default
#94
axel-h
closed
1 year ago
1
Dummy change for CI testing
#93
axel-h
closed
1 year ago
0
vm_arm: improve DTB_BUFFER_SIZE definition and comment
#92
axel-h
closed
1 year ago
0
vm_arm: cleanup and improve documentation
#91
axel-h
closed
1 year ago
1
vm_arm: define loop variable in loop header
#90
axel-h
closed
1 year ago
1
delete branch revert-73-patch-axel-21
#89
axel-h
closed
1 year ago
1
vm_arm: use proper types to avoid build warnings
#88
axel-h
closed
1 year ago
0
Fix crashes introduced in seL4/camkes-vm#73
#87
axel-h
closed
1 year ago
1
Another approach to Debug/Fix seL4/camkes-vm#73
#86
axel-h
closed
1 year ago
2
github: provide PR sha for hardware test
#84
lsf37
closed
1 year ago
1
Build for ARMv8 vm_minimal_sim build should not run QEMU
#83
axel-h
opened
1 year ago
4
github: PR hardware tests for camkes-vm-examples
#82
lsf37
closed
1 year ago
5
Debug/Fix seL4/camkes-vm#73
#81
axel-h
closed
1 year ago
11
[patch-axel-21]
#80
axel-h
closed
1 year ago
0
Next