Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/eac35bb49009792a9dc38705018bee0ea72709ad
commit
eac35bb49009792a9dc38705018bee0ea72709ad
[log]
author
Damon Lee <Damon.Lee@data61.csiro.au>
Tue Mar 10 14:19:53 2020 +1100
committer
Damon Lee <Damon.Lee@data61.csiro.au>
Wed Mar 18 12:11:17 2020 +1100
tree
f1df674795f45dbd2e2485a10210437fbd507c84
parent
636a2d078dfed558bcecba1009b49a795def485f [diff]
libsel4vmmplatsupport: Fix an off-by-one error

Previously, the 'end' of an IO port range was not inclusive. This would
result in a bug where one IO port whose value is the 'end' of a range
would be mistaken as being part of that range when it should not be.
This commit fixes it so that the 'end' of an IO port range is now
inclusive. Also harden the range overlap check.
1 file changed
tree: f1df674795f45dbd2e2485a10210437fbd507c84
  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.