RPI_64bits_Kernel

The idea behind this repository is to try to reproduce the work of the following link.

Prerequisites

• git
• docker

How to build it?

4.9

git clone https://github.com/LanderU/RPI_64bits_Kernel
cd RPI_64bits_Kernel
docker build --build-arg KERNEL_VERSION=4.9 -t kernel4.9 .

4.14

git clone https://github.com/LanderU/RPI_64bits_Kernel
cd RPI_64bits_Kernel
docker build --build-arg KERNEL_VERSION=4.14 -t kernel4.14 .

• https://github.com/raspberrypi/linux/tree/rpi-4.14.y-rt