4 ms·

It is really interesting that Gokrazy uses an upstream kernel (with a couple of minor patches). https://github.com/gokrazy/kernel/blob/3ecdc901da51c2c5b6bf7ab0

It is really interesting that Gokrazy uses an upstream kernel (with a couple of minor patches). https://github.com/gokrazy/kernel/blob/3ecdc901da51c2c5b6bf7ab003bf764ee4b95426/cmd/gokr-build-kernel/build.go#L15 https://github.com/gokrazy/kernel/blob/3ecdc901da51c2c5b6bf7...

colemickens 9y ago
Why is that interesting? Just that they're not having to carry special patches for the RPi3 or what?
- sigjuice 9y ago
  Yes. I have only tried Raspbian and I'm not used to getting RPi kernels from kernel.org
  - muep 9y ago
    E.g. Fedora has for years been using for RPi the same close-to-mainline kernel source that is used for other ARM boards and x86-64 and any other supported hw platform.
technofiend 9y ago
Even the raspberry Pi Zero and Zero W are supported in the latest kernels, and those were the latest Pi boards until the B+ came out.
- sigjuice 9y ago
  Thanks! That’s good to know. Perhaps getting gokrazy going on the Pi Zeroes will not be a huge task. 32-bit userland probably already works on the 64-bit Pi 3 kernel.
  - secure 9y ago
    Please see https://github.com/gokrazy/firmware/issues/15 https://github.com/gokrazy/firmware/issues/15