2020-01-06 21:22:39 +01:00
|
|
|
{ config, pkgs, lib, ... }:
|
2020-01-06 23:09:56 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
uboot = pkgs.uBootPinebookPro;
|
|
|
|
in
|
2020-01-06 21:22:39 +01:00
|
|
|
{
|
|
|
|
imports = [
|
2020-01-06 23:09:56 +01:00
|
|
|
<nixpkgs/nixos/modules/profiles/base.nix>
|
2020-01-06 21:22:39 +01:00
|
|
|
<nixpkgs/nixos/modules/profiles/minimal.nix>
|
|
|
|
<nixpkgs/nixos/modules/profiles/installation-device.nix>
|
2020-01-06 23:09:56 +01:00
|
|
|
./nixos/sd-image-aarch64.nix
|
2020-01-06 21:22:39 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
nixpkgs.overlays = [
|
|
|
|
(import ./overlay.nix)
|
|
|
|
];
|
|
|
|
|
2020-01-06 22:03:48 +01:00
|
|
|
boot.kernelPackages = pkgs.linuxPackages_pinebookpro;
|
2020-01-06 23:09:56 +01:00
|
|
|
|
|
|
|
sdImage = {
|
|
|
|
manipulateImageCommands = ''
|
|
|
|
(PS4=" $ "; set -x
|
|
|
|
dd if=${uboot}/idbloader.img of=$img bs=512 seek=64 conv=notrunc
|
|
|
|
dd if=${uboot}/u-boot.itb of=$img bs=512 seek=16384 conv=notrunc
|
|
|
|
)
|
|
|
|
'';
|
|
|
|
compressImage = lib.mkForce false;
|
|
|
|
};
|
2020-01-06 21:22:39 +01:00
|
|
|
}
|