Google Git
Sign in
opensecura/3p/sel4/camkes-tool/3fdab40a7d403b35fb2e7b051bdbf8e28ac30098
commit
3fdab40a7d403b35fb2e7b051bdbf8e28ac30098
[log]
author
Sam Leffler <sleffler@google.com>
Sat Jul 15 18:30:13 2023 -0700
committer
Sam Leffler <sleffler@google.com>
Tue Jul 18 12:42:43 2023 -0700
tree
a7316eb173222e7d915c125cc49f848406b568f7
parent
3596345739c553a5bbca2ba1c032e92f5c2d0d8a [diff]
cantripMMIO: round up region size to at least a page

Round up the mmio region size to at least a page so accurate sizes can
be used directly from RTL.

Bug: 276823440

Change-Id: I5b02b31eb4fd54fff4564f8fb16a4fd691209620
1 file changed
tree: a7316eb173222e7d915c125cc49f848406b568f7
  1. .github/
  2. .reuse/
  3. camkes/
  4. cdl-refine-tests/
  5. components/
  6. docs/
  7. examples/
  8. include/
  9. libcamkescakeml/
  10. libsel4camkes/
  11. LICENSES/
  12. misc/
  13. tools/
  14. .gitignore
  15. .licenseignore
  16. .stylefilter
  17. alltests.py
  18. camkes-top-level.cmake
  19. camkes.cmake
  20. CHANGES
  21. CMakeLists.txt
  22. Findcamkes-tool.cmake
  23. LICENSE_BSD2.txt
  24. PREUPLOAD.cfg
  25. README.md
  26. VERSION
README.md

CAmkES

This repository contains the code generator and templating system that form the core of the CAmkES component platform.

For more information about CAmkES functionality, see the documentation.

Dependencies

See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies

Reporting security vulnerabilities

If you believe you have found a security vulnerability in code generated by camkes-tool, we ask you to follow the seL4 vulnerability disclosure policy.