Re: Kernel config usage

Hi Dan,

On 11/2/23 3:20 PM, Dan Carpenter wrote:
> 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.

indeed, that was the issue. I forgot to mention that on the command line 
and didn't notice :-/

Thanks.
>
> regards,
> dan carpenter
>