Merge pull request #273 from IntelLabs/fix/dvkm_deploy

Fix/dvkm deploy
IntelLabs · Mar 5, 2024 · d94f27f · d94f27f
2 parents 2bdd428 + c650360
commit d94f27f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 5 deletions.
diff --git a/deploy/intellabs/kafl/roles/examples/tasks/dvkm.yml b/deploy/intellabs/kafl/roles/examples/tasks/dvkm.yml
@@ -1,15 +1,20 @@
 - name: Install required packages
   ansible.builtin.apt:
     # required for lddtree
-    name: pax-utils
+    name:
+      - pax-utils
+      - flex
+      - bison
+      - libelf-dev
+      - libssl-dev
   become: true
 
 - name: Clone required submodules
+  # noqa: command-instead-of-module
   ansible.builtin.command: >-
-    "git submodule update --init --depth 200
+    git submodule update --init --depth 200
     --jobs {{ ansible_processor_nproc }}
     {{ dvkm_sub_path }}
-    {{ linux_agent_sub_path }}"
-    # noqa: command-instead-of-module
+    {{ linux_agent_sub_path }}
   args:
     chdir: "{{ examples_root }}"
diff --git a/docs/source/tutorials/linux/dvkm/workflow.md b/docs/source/tutorials/linux/dvkm/workflow.md
@@ -213,7 +213,7 @@ To set up the required dependencies, navigate to the kAFL directory and execute
 
 ```shell
 $ cd kAFL
-(venv) $ make deploy -- --tags examples,examples-dvkm
+(venv) $ make deploy -- --tags examples,examples-linux-dvkm
 ```
 
 Now, switch to the `📂 linux-user/dvkm` directory to compile the target and its dependencies: