diff options
| author | Alejandro Soto <alejandro@34project.org> | 2023-10-04 16:35:45 -0600 |
|---|---|---|
| committer | Alejandro Soto <alejandro@34project.org> | 2023-10-04 16:35:45 -0600 |
| commit | 972678950297ab158541a8afec2cbcd01a996959 (patch) | |
| tree | f2ea3c11924a755550fa2a8bf852185daa707448 /nix/sd-card.nix | |
| parent | 084e7b290bd625e5d090410bf887bf81749a266f (diff) | |
nix: move flake to top-level dir
Diffstat (limited to '')
| -rw-r--r-- | nix/sd-card.nix | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/nix/sd-card.nix b/nix/sd-card.nix deleted file mode 100644 index d2faea8..0000000 --- a/nix/sd-card.nix +++ /dev/null @@ -1,39 +0,0 @@ -{ ... }: { - 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; - }; -} |
