diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md index 0b874a4..8d9d28f 100644 --- a/examples/linux-kernel/README.md +++ b/examples/linux-kernel/README.md @@ -178,4 +178,4 @@ NB3: Some default kernel modules loaded with olddefconfig cannot be compiled wit Another possibility after building the linux with gclang is running [built-in-parsing.py](built-in-parsing.py) in order to write a script that will do the extracting, copying and linking of bitcode. This script automates the script-writing process for other configs than defconfig. Running "python built-in-parsing.py BUILD_PATH drivers fs/ext4" from whithin the kernel folder writes a new build_script.sh with the right instructions to build the kernel in BUILD_PATH. -NB: You will have to set the gclang output file to wrapper-logs/wrapper.log and create the corresponding directory before running the python script. +NB: You will have to set the gclang output file to /vagrant/wrapper-logs/wrapper.log before running the python script.