diff options
| author | Alejandro Soto <alejandro@34project.org> | 2022-09-23 23:41:31 -0600 |
|---|---|---|
| committer | Alejandro Soto <alejandro@34project.org> | 2022-09-23 23:41:31 -0600 |
| commit | a1720e4395f969a5855f3d3f60849653a5e7b459 (patch) | |
| tree | 7d5cbb7f1f959f8669ba45fe72487247f766d69d /nix | |
| parent | 29c6ca853ada52afbfcb2fd7d875572a56f16b4b (diff) | |
Add initial NixOS expression for boot image
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/sd-card.nix | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/nix/sd-card.nix b/nix/sd-card.nix new file mode 100644 index 0000000..d2faea8 --- /dev/null +++ b/nix/sd-card.nix @@ -0,0 +1,39 @@ +{ ... }: { + nixpkgs = { + config.allowUnsupportedSystem = true; + + crossSystem = { + config = "armv4-unknown-linux-gnueabi"; + + gcc = { + # > Switch "--with-arch" may not be used with switch "--with-cpu" + # > make[1]: *** [Makefile:4315: configure-gcc] Error 1 + #arch = "armv4"; + + # Ver SA110 en arch/arm/mm/Kconfig, es parecido + cpu = "arm810"; + }; + + linux-kernel = { + name = "taller"; + target = "uImage"; + makeFlags = [ "LOADADDR=0x01000000" ]; + autoModules = false; + # Esto es solo para construir el toplevel del system + baseConfig = "multi_v5_defconfig"; # "multi_v4_defconfig"; + }; + }; + }; + + system.stateVersion = "22.11"; + + fileSystems."/" = { + device = "tmpfs"; + fsType = "tmpfs"; + }; + + boot.loader = { + grub.enable = false; + generic-extlinux-compatible.enable = true; + }; +} |
