Powered by Linux
Re: Kernel config usage — Semantic Matching Tool

Re: Kernel config usage

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux