From 972678950297ab158541a8afec2cbcd01a996959 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Wed, 4 Oct 2023 16:35:45 -0600
Subject: nix: move flake to top-level dir

---
 nix/sd-card.nix | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 nix/sd-card.nix

(limited to 'nix/sd-card.nix')

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;
-  };
-}
-- 
cgit v1.2.3