cantrip-os-rootserver: simplify top-level logger setup

After removing an explicit "release_max_level_info" feature in
cantrip-os-model it's possible to control the early debug logging
entirely here. To get verbose logging just enable "LOG_TRACE".  Otherwise
"LOG_INFO" gets the default behaviour, including compiling out logger
calls in the cantrip-os-model crate.

Change-Id: I41ccdaeee1211bf89e78335d5fd72f44ea548c4a
1 file changed
tree: 6176d183aad37c577fc4f97cfbe3276708b161e1
  1. .github/
  2. .reuse/
  3. cantrip-os-rootserver/
  4. capdl-loader-app/
  5. capDL-tool/
  6. cdl_utils/
  7. LICENSES/
  8. object_sizes/
  9. python-capdl-tool/
  10. .gitignore
  11. .licenseignore
  12. .stylefilter
  13. CHANGES
  14. CMakeLists.txt
  15. CODE_OF_CONDUCT.md
  16. Findcapdl.cmake
  17. README.md
  18. VERSION
README.md

Capability Distribution Language

Collection of tools for generating, parsing and loading capdl specifications of systems:

  • capDL-tool - A tool to assist working with capDL textual specifications
  • python-capdl-tool - A Python module for providing CapDL support
  • capdl-loader-app - The capDL initialiser for seL4