kernel-rpi-os-32/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](https://github.com/raspberrypi/linux), released under the GPL (see `linux-sources/COPYING`)
- The rest of the repository is released under BSD 3-Clause License (see `LICENSE`)
improve readme 2022-03-23 11:01:08 +00:00			`# Linux kernel for Raspberry Pi 32 bits, for usage in gokrazy`
add README 2022-03-23 10:53:53 +00:00
			`Usage`

			```
			`GOARCH=arm ./gokr-packer \`
reduce indentation 2022-03-23 11:02:03 +00:00			`-kernel_package=github.com/oliverpool/kernel-rpi-os-32/dist \`
			`-firmware_package=github.com/oliverpool/firmware-rpi/dist \`
			`github.com/gokrazy/hello`
add README 2022-03-23 10:53:53 +00:00			```

			`## 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.
improve readme 2022-03-23 11:01:08 +00:00
			`## Licenses`

			- The `vmlinuz` and `*.dtb` files are built from [Linux kernel sources](https://github.com/raspberrypi/linux), released under the GPL (see `linux-sources/COPYING`)
			- The rest of the repository is released under BSD 3-Clause License (see `LICENSE`)