Skip to content

fix syscalls

Jimmy Brush requested to merge fix-syscalls into master
  • 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