Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/8dc52bb3181b4e39431b9865a4284f3f9364ccdb
commit
8dc52bb3181b4e39431b9865a4284f3f9364ccdb
[log]
author
Kent McLeod <Kent.Mcleod@data61.csiro.au>
Wed May 13 16:00:11 2020 +1000
committer
Kent Mcleod <Kent.Mcleod@data61.csiro.au>
Fri May 15 17:11:25 2020 +1000
tree
9ec61ad4ef2de18873a8cbd0992c3eab10c3d6d3
parent
934ec2d5652a1c5ab9532085a941a7fac9c10294 [diff]
sel4vmmplatsupport: increase buffer in load_image

Larger sized calls to read can lead to better loading performance if the
underlying read implementation has high overhead for each call
performed.
1 file changed
tree: 9ec61ad4ef2de18873a8cbd0992c3eab10c3d6d3
  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.