Update documentation

ispras · Oct 6, 2023 · a1cc74d · a1cc74d
1 parent e7d0be6
commit a1cc74d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/klever_bridge.md b/docs/klever_bridge.md
@@ -53,6 +53,15 @@ Then launch the following command:
 ./scripts/bridge.py -c klever.json
 ```
 
+### Klever runner
+
+Klever runner allows to create a build base for a Linux kernel, then to launch Klever and at last export results with Klever Bridge.
+You can find example of configuration files in `configs/bridge` directory.
+In order to launch a Klever runner from `<deploy directory>` run the following content:
+```shell
+sudo ./scripts/runner.py -c runner.json -d <path to Linux kernel>
+```
+
 ## Klever config
 
 In order to visualize error traces CPAchecker config must include the following: