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