Linux kernel images for gokrazy
Go
Switch branches/tags
Nothing to show
Clone or download
Permalink
Failed to load latest commit information.
cmd enable cp210x serial driver (for https://pcengines.ch/usbcom1a.htm) Jul 15, 2018
.travis.yml update BOOTERY_URL for new dyndns hostname Jun 17, 2018
0001-Revert-add-index-to-the-ethernet-alias.patch Fix MAC address with 0001-Revert-add-index-to-the-ethernet-alias.patch Jul 22, 2017
0001-dt-rpi3b+.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0002-dt-rpi3b+.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0003-dt-rpi3b+.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0004-dt-rpi3b+.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0005-dt-rpi3b+.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0005-lan78xx.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0006-lan78xx.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0007-lan78xx.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0008-lan78xx.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0009-lan78xx.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0010-lan78xx.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0101-expose-UART0-ttyAMA0-on-GPIO-14-15-disable-UART1-tty.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
0102-expose-UART0-ttyAMA0-on-GPIO-14-15-disable-UART1-tty.patch Add support for the Raspberry Pi 3 B+ May 16, 2018
LICENSE Initial commit Feb 11, 2017
LICENSE.linux Initial commit Feb 11, 2017
README.md Initial commit Feb 11, 2017
bcm2710-rpi-3-b-plus.dtb auto-update to linux-4.17.tar.xz (#96) Jun 6, 2018
bcm2710-rpi-3-b.dtb auto-update to linux-4.17.tar.xz (#96) Jun 6, 2018
cmdline.txt add patch to expose UART0 on GPIO 14/15 Feb 26, 2017
config.txt Add support for the Raspberry Pi 3 B+ May 16, 2018
kernel.go Initial commit Feb 11, 2017
vmlinuz enable cp210x serial driver (for https://pcengines.ch/usbcom1a.htm) Jul 15, 2018

README.md

gokrazy kernel repository

This repository holds a pre-built Linux kernel image for the Raspberry Pi 3, used by the gokrazy project.

The files in this repository are picked up automatically by gokr-packer, so you don’t need to interact with this repository unless you want to update the kernel to a custom version.

Updating the kernel

First, follow the gokrazy installation instructions.

We’re using docker to get a reproducible build environment for our kernel images, so install docker if you haven’t already:

sudo apt install docker.io
sudo addgroup $USER docker
newgrp docker

Install the kernel-related gokrazy tools:

go install github.com/gokrazy/kernel/cmd/...

And build a new kernel (takes about 5 minutes):

gokr-rebuild-kernel

The new kernel is stored in $GOPATH/src/github.com/gokrazy/kernel so that it will be picked up by gokr-packer.