• Prerequisites
• Building an RPi4-Compatible 64-bit Kernel
• Next Steps