snr/kernel-rpi-os-32
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1
No description
15 commits 1 branch 0 tags 108 MiB
Go 100%
Find a file
oliverpool 8e0b341ec1 docker not interactive
2022-03-23 19:16:31 +01:00
.github/workflows action: compile and commit new kernel 2022-03-23 18:15:16 +01:00
cmd docker not interactive 2022-03-23 19:16:31 +01:00
dist add placeholder package file 2022-03-23 11:19:46 +01:00
gokrazy initial commit 🍓 2022-03-23 11:12:05 +01:00
linux-sources@650082a559 compiled kernel 1.20220118 2022-03-23 11:13:26 +01:00
.gitmodules compiled kernel 1.20220118 2022-03-23 11:13:26 +01:00
go.mod initial commit 🍓 2022-03-23 11:12:05 +01:00
go.sum initial commit 🍓 2022-03-23 11:12:05 +01:00
LICENSE initial commit 🍓 2022-03-23 11:12:05 +01:00
README.md reduce indentation 2022-03-23 12:02:03 +01:00

README.md

Linux kernel for Raspberry Pi 32 bits, for usage in gokrazy

Usage

GOARCH=arm ./gokr-packer \
    -kernel_package=github.com/oliverpool/kernel-rpi-os-32/dist \
    -firmware_package=github.com/oliverpool/firmware-rpi/dist \
    github.com/gokrazy/hello

Manual compilation

go run cmd/compile/main.go

It will compile the kernel located in linux-sources and copy the resulting files in the dist folder.

Licenses

  • The vmlinuz and *.dtb files are built from Linux kernel sources, released under the GPL (see linux-sources/COPYING)
  • The rest of the repository is released under BSD 3-Clause License (see LICENSE)