-
-
Notifications
You must be signed in to change notification settings - Fork 683
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add rest of Radxa devices that alredy have U-Boot package in nixpkgs #1366
base: master
Are you sure you want to change the base?
Conversation
This order works better when we have more SoCs.
We might refactor some parts again when we add Amlogic and Allwinner supports.
# Or, if the default platform firmware is not available in the NixOS version you are using: | ||
# (import nixos-hardware.nixosModules.rock-pi-e { | ||
# lib = nixpkgs-unfree.lib; | ||
# config = nixpkgs-unfree.config; | ||
# pkgs = nixpkgs-unfree.legacyPackages.aarch64-linux; | ||
# }) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Currently, ROCK Pi E's U-Boot package is not available in NixOS 24.11, so we need to override the module input at importing time, since its hardware.rockchip.platformFirmware
is resolved before we can override it later.
However, this looks pretty ugly, so I'm wondering if there is more elegant way to do it.
BTW we do need an example for how to use U-Boot in non stable nixpkgs, since I plan to add them after NixOS/nixpkgs/pull/374482 and one of the A-TF 2.10->2.12 PR is merged.
Previously, it was a product-level option with a default value.
Description of changes
u-boot.itb
andidbloader.img
, and so far the installation offsets are the same across 3 different SoCs.Things done
nixos-hardware
andimporting it via
<nixos-hardware>
or Flake inputAll 3 new devices and the existing ROCK 4C+ are tested.