commit: 55765aed6d883c06a9a73893da25e8fc40eb7f5c
[log]
author: Sam Leffler <sleffler@google.com>
Fri Apr 14 11:09:00 2023 -0700
committer: Sam Leffler <sleffler@google.com>
Fri Apr 14 11:12:34 2023 -0700
tree: 6f356c778aa4f5839455d27c8aeb1c2bcc4d7f38
parent: 559f4dcdc8970479e2f165e8e85caefadf8b7e93 [diff]

kmem.py: by default suppress display of zero-size objects

In particular, this causes mmio & copyregion objects to not be shown.

Change-Id: I8293ecd743e3be8cf72407e57491c09d3076e492

kmem-tool/kmem.py[diff]

1 file changed

tree: 6f356c778aa4f5839455d27c8aeb1c2bcc4d7f38

README.md

seL4_tools

Provides tools used to build seL4 projects. Also collects common config and tools for style checks.

elfloader-tool: loads the arm kernel.
cmake-tool: most of the build system.
misc: miscellaneous extra tools, including code style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.