A tool to analyze and patches between different Linux Kernel versions.
ppatch loads the configuration from a file named .ppatch.env in $HOME.
base_dir = "/home/laboratory/workspace/exps/ppatch" # The base directory to store the patches
patch_store_dir = "_patches" # The directory to store the patches
max_diff_lines = 3By default, base_dir is the base directory where ppatch is installed.
ppatch uses pdm as package manager. To install the dependencies in your workspace, run:
pdm install --prod
# If you want to trace ppatch execution
pdm installref: PDM Documentation