Raspberry PI 3 Recipes!

My recipes

• How to cross-compile a simple kernel module for Raspbian
• How to create from scratch a uSD card with 64-bits kernel using buildroot
• How to create from scratch a 64-bits kernel Debian 9 image

Useful Links

• Raspberry pi 3 - The Raspberry Pi 3 Model B is the second generation Raspberry Pi 3
• How does Raspberry Pi boot?
• This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.
• Kernel Building
• Build A 64-BIT kernel for your RASPBERRY PI 3
• RPiconfig

• Raspbery Readme