How to compile clearlinux kernel?

mkdir ~/patched_source
git clone https://github.com/clearlinux-pkgs/linux ~/clearlinux_patches
cd ~/clearlinux_patches
./scripts/develop.sh ~/patched_source

it got stuck at

android@clr:~/clearlinux_patches/scripts (master)
$ ./develop.sh ~/patched_source
grep: /home/android/patched_source: Is a directory

It looks like you’re missing a parameter:

There is documentation on doing this manually here:
https://docs.01.org/clearlinux/latest/guides/kernel/kernel-development.html

@miguelinux should this script be added to the documentation above?

You may want to use the common tooling - GitHub - clearlinux/common: Developer tooling framework - it allows you to rebuild packages by just typing make.