Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/e014d83fc9415c1741bd4b00e831e32690b75f13
commit
e014d83fc9415c1741bd4b00e831e32690b75f13
[log]
author
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 28 13:21:02 2020 +1100
committer
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Mar 06 10:52:04 2020 +1100
tree
caac873bf7608ff6649a794c3cc42aa462315e0c
parent
b8ae83dc8037fa5199114655ccb90b63cd5ce29f [diff]
libsel4vm: Renamed 'reg_new_handler'

Renamed the x86 interface function 'reg_new_handler' to
'vm_reg_new_vmcall_handler'. This is to make the purpose of the
function clearer. This doesn't change any functionality.
2 files changed
tree: caac873bf7608ff6649a794c3cc42aa462315e0c
  1. libsel4bga/
  2. libsel4dma/
  3. libsel4keyboard/
  4. libsel4nanopb/
  5. libsel4rpc/
  6. libsel4vchan/
  7. libsel4vm/
  8. libsel4vmmplatsupport/
  9. .gitignore
  10. .licenseignore
  11. CMakeLists.txt
  12. Findsel4_projects_libs.cmake
  13. LICENSE.txt
  14. README.md
README.md

seL4_projects_libs

seL4 Projects Libraries

A collection of libraries for seL4. These libraries are compatible with seL4_libs.

License

The files in this repository are release under standard open source licenses. Please see individual file headers and the LICENSE_BSD2.txt file for details.