Need instructions for building kernel on Raspberry Pi 64

Support & Help Requests Raspberry Pi
#1

Hey

Does anyone have specific instructions on how to build the kernel on Raspberry Pi using 64-bit MATE distribution?

I have Ubuntu MATE 18.04 installed on Pi B+, using standard Ubuntu kernel build flow seems to fail.

Thank you

#2

Have never done this myself, but now I'm getting curious as you and others suggest that this is quite different from the steps to cross-compile a Raspbian kernel.

@code_exec ?

@jimmers I am assuming you meant a Pi 3B+, as a Pi B+ does not support 64-bit.

#3

This may help https://devsidestory.com/build-a-64-bit-kernel-for-your-raspberry-pi-3/