2020-01-06 15:22:39 -05:00
|
|
|
{ config, pkgs, lib, ... }:
|
2020-01-06 17:09:56 -05:00
|
|
|
|
|
|
|
let
|
2020-07-14 19:30:51 -04:00
|
|
|
uboot = pkgs.uBootPinebookPro;
|
2020-01-06 17:09:56 -05:00
|
|
|
in
|
2020-01-06 15:22:39 -05:00
|
|
|
{
|
|
|
|
imports = [
|
2020-01-06 17:09:56 -05:00
|
|
|
<nixpkgs/nixos/modules/profiles/base.nix>
|
2020-01-06 15:22:39 -05:00
|
|
|
<nixpkgs/nixos/modules/profiles/minimal.nix>
|
|
|
|
<nixpkgs/nixos/modules/profiles/installation-device.nix>
|
2020-01-06 17:09:56 -05:00
|
|
|
./nixos/sd-image-aarch64.nix
|
2020-01-06 21:24:31 -05:00
|
|
|
./pinebook_pro.nix
|
2020-01-06 19:50:35 -05:00
|
|
|
];
|
|
|
|
|
2020-01-06 17:09:56 -05: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 15:22:39 -05:00
|
|
|
}
|