Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
fix syscalls
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jimmy Brush
requested to merge
fix-syscalls
into
master
Aug 19, 2020
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
seL4_Call does not take a 'reply' argument
correct some mislabeled 'src'/'dest' parameter names
correct some cap parameter types from seL4_Word to seL4_CPtr
move reply argument above message register arguments
Merge request reports