summaryrefslogtreecommitdiff
path: root/nix/sd-card.nix
diff options
context:
space:
mode:
authorAlejandro Soto <alejandro@34project.org>2023-10-04 16:35:45 -0600
committerAlejandro Soto <alejandro@34project.org>2023-10-04 16:35:45 -0600
commit972678950297ab158541a8afec2cbcd01a996959 (patch)
treef2ea3c11924a755550fa2a8bf852185daa707448 /nix/sd-card.nix
parent084e7b290bd625e5d090410bf887bf81749a266f (diff)
nix: move flake to top-level dir
Diffstat (limited to 'nix/sd-card.nix')
-rw-r--r--nix/sd-card.nix39
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;
- };
-}