On Thu, Nov 02, 2023 at 02:30:18PM +0530, Umang Jain wrote: > Hello, > > I am reading > https://repo.or.cz/smatch.git/blob/HEAD:/Documentation/smatch.txt > > And trying to test smatch against the linux kernel staging branch from Greg > KH's repo. > > I am a bit confused about kernel .config usage ? What does smatch needs? I > tried using multi_v7_defconfig and allmodefconfig, but everytime I try to: > > $) make O=../my_build_dir CHECK="~/src/smatch/smatch -p=kernel" C=1 bzImage > modules -j32 > > I get asked about config options again. As below: > > * > * Restart config... > * > * > * General setup > * > Compile also drivers which will not load (COMPILE_TEST) [Y/n/?] y > Compile the kernel with warnings as errors (WERROR) [Y/n/?] y > Compile test UAPI headers (UAPI_HEADER_TEST) [N/y/?] (NEW) > > > ... > > Am I missing something ? That's not a Smatch issue, that's just a kernel compile issue. Did you do an "export ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu-" before you ran the make. regards, dan carpenter