issues
search
capablevms
/
CHERI-ELF-comp
Other
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add support for Linux compilation
#40
0152la
closed
2 days ago
2
Hashtable backend
#39
0152la
closed
3 weeks ago
6
Introduce a symbols API
#38
0152la
closed
1 month ago
2
Parameterised compartments
#37
0152la
closed
1 month ago
0
Memory layout improvements
#36
0152la
closed
2 months ago
0
Improve memory allocator
#35
0152la
closed
2 months ago
5
Bug fix
#34
0152la
closed
2 months ago
6
Changes to better handle relocation
#33
0152la
closed
3 months ago
2
Re-enable Lua tests
#32
0152la
closed
3 months ago
0
Improve comp-utils
#31
0152la
closed
4 months ago
3
Update lua to version 5.4.6
#30
0152la
closed
4 months ago
0
Handle `AARCH64_TLS_TPREL` relas
#29
0152la
closed
4 months ago
0
Add TLS support
#28
0152la
closed
4 months ago
4
Internal `malloc` and various improvements
#27
0152la
closed
5 months ago
10
Improve eager symbol relocation
#26
0152la
closed
7 months ago
0
Eager object symbol relocation
#25
0152la
closed
7 months ago
2
Remove unused function
#24
0152la
closed
7 months ago
0
Replacing intercepts - internal compartment utilities
#23
0152la
opened
7 months ago
0
Add syscall tests and `so` harness
#22
0152la
closed
7 months ago
3
Minor README update
#21
0152la
closed
7 months ago
2
Implement transitive eager relocation
#20
0152la
closed
8 months ago
3
Remove static ELF binary support
#19
0152la
closed
8 months ago
2
Some renames and cleanup
#18
0152la
closed
8 months ago
0
Add `clang-format`
#17
0152la
closed
8 months ago
0
Fully move to merge queues
#16
0152la
closed
8 months ago
4
Handling symbol relocations for all libraries
#15
0152la
closed
8 months ago
1
Further work
#14
0152la
opened
8 months ago
4
Initial support for `.so` compartments
#13
0152la
closed
8 months ago
14
Add a new test
#12
0152la
closed
11 months ago
17
Small updates
#11
0152la
closed
1 year ago
2
First inter-compartment call implementation
#10
0152la
closed
1 year ago
11
Test infrastructure overhaul
#9
0152la
closed
1 year ago
17
Trying to use this for Morello Linux on Morello Board
#8
HelpDesperatelyNeeded
closed
1 year ago
2
Compartment configuration files
#7
0152la
closed
1 year ago
29
Compartment entry points with primitive arguments
#6
0152la
closed
1 year ago
10
Fix testing infrastructure
#5
0152la
closed
1 year ago
52
Support for lua scripts in compartments
#4
0152la
closed
2 years ago
5
Support for a simple lua hello_world
#3
0152la
closed
2 years ago
15
Compartment Transition
#2
0152la
closed
2 years ago
13
First draft
#1
0152la
closed
2 years ago
52