This is the manifest for the timing channel benchmarking tool. Please see the sel4proj/channel-bench repository.

To initialise this project using repo, use the following command (not that the timing.xml manifest is chosen, this ensures that the development branches supporting this project are used).

repo init -u https://github.com/SEL4PROJ/channel-bench-manifest.git -m timing.xml