How do I compile a Linux kernel for the aarch64 platform

[Haker0428]

I want to build a bin file to raspberrypi4b or rk chip, and develop some driver. In rust-dev branch, I saw that the arch-support.rst document says that aarch64 is supported, and how can I compile a Linux kernel for the aarch64 platform.

[ojeda]

Please ask general questions in Zulip (https://rust-for-linux.com/contact) -- this issue tracker is not meant for that.