diff --git a/deploy/intellabs/kafl/roles/examples/tasks/dvkm.yml b/deploy/intellabs/kafl/roles/examples/tasks/dvkm.yml index a1805a1e..f3586883 100644 --- 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 index 7fd46b9d..13caf76a 100644 --- 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: