2020-01-06 21:22:39 +01:00
|
|
|
{ config, pkgs, lib, ... }:
|
2020-01-06 23:09:56 +01:00
|
|
|
|
|
|
|
let
|
2020-07-15 01:30:51 +02:00
|
|
|
uboot = pkgs.uBootPinebookPro;
|
2020-01-06 23:09:56 +01:00
|
|
|
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-07 03:24:31 +01:00
|
|
|
./pinebook_pro.nix
|
2020-01-07 01:50:35 +01:00
|
|
|
];
|
|
|
|
|
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
|
|
|
}
|