1) What is the correct way to make kernel configuration changes?

I have attempted to:

./compile.sh BOARD=bananapim4zero BRANCH=edge kernel-config

saved config,. and then

./compile.sh BOARD=bananapim4zero BRANCH=edge kernel

However,after installing the kernel I found the config changes were not applied.

I then reran:

./compile.sh BOARD=bananapim4zero BRANCH=edge kernel-config

and I see that the config changes I made have been reverted.

 

2) How to clean the kernel and force a rebuild?

I tried

./compile.sh BOARD=bananapim4zero BRANCH=edge  CLEAN_LEVEL="make-kernel" kernel

 

But the kernel was not cleaned, nor rebuilt.

 

Thank you!

There is a write-up about this: https://zuckerbude.org/armbian-using-kernel-config/

Check the tl;dr: part.

Understood. Thank you.  When I follow that procedure, config settings are set to "Y" after I've explicitly set them to "N".

 

After doing a kernel-config

 

[🐳|🌱] Exporting new kernel defconfig [ /armbian/output/config/linux-sunxi64-edge.config ]
[🐳|🔨]   'defconfig' -> '/armbian/output/config/linux-sunxi64-edge.config'
[🐳|🌱] Exporting new kernel config - git commit pending [ /armbian/userpatches/linux-sunxi64-edge.config ]
[🐳|🔨]   'defconfig' -> '/armbian/userpatches/linux-sunxi64-edge.config'

 

$ cat output/config/linux-sunxi64-edge.config | grep CGROUP
[no output]
$ diff output/config/linux-sunxi64-edge.config userpatches/linux-sunxi64-edge.config
[no output]

 

 

Then I build the kernel, install it, and on the board:

 

zcat /proc/config.gz |grep CGROUP_SC
CONFIG_CGROUP_SCHED=y

 

 

After reviewing the kernel build output:

less -RS output/logs/log-kernel-7c3cd346-d31c-4166-9dc2-4f5c9c641554.log.ans

 

--> (13) COMMAND: ./scripts/config --enable CGROUP_BPF
--> (13) COMMAND: ./scripts/config --enable CGROUP_CPUACCT
--> (13) COMMAND: ./scripts/config --enable CGROUP_DEVICE
--> (13) COMMAND: ./scripts/config --enable CGROUP_FREEZER
--> (14) COMMAND: ./scripts/config --enable CGROUP_HUGETLB
--> (14) COMMAND: ./scripts/config --enable CGROUP_NET_CLASSID
--> (14) COMMAND: ./scripts/config --enable CGROUP_NET_PRIO
--> (14) COMMAND: ./scripts/config --enable CGROUP_PERF
--> (14) COMMAND: ./scripts/config --enable CGROUP_PIDS
--> (14) COMMAND: ./scripts/config --enable CGROUP_SCHED
--> (14) COMMAND: ./scripts/config --enable CGROUPS

 

Something has enabled everything I said I wanted disabled. 

 

When configuring the kernel subsequent times, these items are enabled again as well.

 

 

Edited April 19, 20251 yr by jgauthier

39 minutes ago, jgauthier said:

these items are enabled again as well.

There is another feature of framework, "armbian-kernel", sections that applies on top of (basic) configs:
https://github.com/armbian/build/blob/main/lib/functions/compilation/armbian-kernel.sh#L205-L336 (Docker as example)

I did see that script.  I disabled CGROUP_SCHED by commenting it out.  I don't think that is the "right way", but it worked for now.