gokrazy / firmware

bootloader files for the Raspberry Pi 3, Pi 4, Pi 5 and Pi Zero 2 W

Overview

With gokrazy, you can deploy your Go programs as appliances to a Raspberry Pi or PC (→ supported platforms).

For a long time, we were unhappy with having to care about security issues and Linux distribution maintenance on our various Raspberry Pis.

Then, we had a crazy idea: what if we got rid of memory-unsafe languages and all software we don’t strictly need?

Turns out this is feasible. gokrazy is the result.

→ Learn more at gokrazy.org

GitHub Repository structure

• github.com/gokrazy/gokrazy: system code, main issue tracker, documentation
• github.com/gokrazy/tools: SD card image creation code, pulling in:
  • github.com/gokrazy/firmware: Raspberry Pi 3 or 4 firmware files
  • github.com/gokrazy/rpi-eeprom: Raspberry Pi 4 EEPROM files
  • github.com/gokrazy/kernel: pre-built kernel image and bootloader config

Documentation

gokrazy.org uses hugo for creating and generating the website. You can find the hugo install instructions here: Install Hugo. With hugo you can write documentation in Markdown and generate a static website from it.

The website subdirectory is hugo’s root directory. In order to preview the documentation or to re-generate the website, switch the directory to website.

To preview the website, run the hugo webserver:

hugo serve

Generate the website:

hugo

The updated website content will be stored in the ./docs directory. Do not update anything here manually.

firmware's Issues

Raspberry Pi Zero Support

I have a pi zero and would like to try running gokrazy on it. Any thoughts on how hard it would be to fork this repo and get it to work for the zero? Also, would this likely involve changes to the gokrazy/kernel repo too? Thanks!

Orange Pi CM4

Hi all,

Firstly great project, nicely done!

As issue #307 describes, I'd like to get gokrazy booting on a non-Raspberry Pi device due to the availability and cost issues affecting the OG boards. I'm currently in the process of migrating the hardware elements of my project to work with the Orange Pi CM4, and as part of that I'm working through the software side. I've got a custom operating system image built using the Orange Pi guides on their wiki, which boots and runs brilliantly.

However, I'm by no means a kernel wizard, so am really lost with what I'd need to do to get a gokrazy build running. Can I extract elements from my working OS image? If so, what do I need to extract? I have their board support package, but no idea what to do with it with regards to gokrazy.

I don't expect my hand to be held, but some guidance and pointers would be really appreciated.

Thanks 😎👍

Support bigtreetech CB1?

I know this is probably a big ask, but I'm hoping that supporting the bigtreetech CB1 would be possible.

The CB1 is a board similar to the Raspberry Pi Compute Module 4 but, you know, available at non-scalper prices.

Here's the GitHub releases page for the Debian 11 base they use.

I'd be willing to try and get this working myself, I just need some pointers on what I would need to pull out of that CB1-Kernel repo ( or out of a release from the CB1 repo? ).