https://github.com/febus982/rpi-kernel
https://github.com/febus982/rpi-kernel
Last synced: 12 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/febus982/rpi-kernel
- Owner: febus982
- Created: 2024-03-08T10:34:03.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-04-12T21:00:59.000Z (almost 2 years ago)
- Last Synced: 2025-02-11T09:49:43.197Z (about 1 year ago)
- Language: Shell
- Size: 29.3 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Raspberry PI kernel build container
[](https://github.com/mkenney/software-guides/blob/master/STABILITY-BADGES.md#work-in-progress)
A small container to build the kernel using CONFIG_ARM64_VA_BITS_48 solving the issues
related to Google's tcmalloc incompatibility.
https://github.com/raspberrypi/linux/issues/4375
It builds the kernel using the devault RPI4. Improvement pull requests are welcome.
It builds the beb.
## How to build the kernel
This command will build the kernel .deb packages and save them in the `debs` directory.
It will also generate the `Packages.gz` file to run the apt repository using apache.
```bash
docker compose run --build --rm builder
```
Once built the dockerfile will retain the .deb files in the image,
subsequent builds will use the cache and won't recompile the kernel.
You can run the apt repository using:
```bash
docker compose up --build apt
```
NOTE: The apt repository is only a proof of concept meant to be run in a local environment
with limited network connectivity. Before using it on public networks security,
please review configuration, especially for security.
## What is missing
The produced `deb` package has the same name as the original package, which could create
naming collisions. Ideally we'd like to change the LOCALVERSION so we can install this
package without replacing the original one. (Reference discussion: https://github.com/RPi-Distro/repo/issues/368)