summary refs log tree commit diff
path: root/pkgs
diff options
context:
space:
mode:
authorLluís Batlle i Rossell <viric@vicerveza.homeunix.net>2010-02-18 21:10:49 +0000
committerLluís Batlle i Rossell <viric@vicerveza.homeunix.net>2010-02-18 21:10:49 +0000
commit85a35352bbfe448b69d52dbad9278dd85593b14c (patch)
tree5ed9fc04276e5a58ccd5e64c0d88e039768c0e39 /pkgs
parent0be3d188964b7b702d208616535e17876464358f (diff)
downloadnixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.tar
nixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.tar.gz
nixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.tar.bz2
nixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.tar.lz
nixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.tar.xz
nixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.tar.zst
nixpkgs-85a35352bbfe448b69d52dbad9278dd85593b14c.zip
Trying to get serial in qemu integratorcp. Still without succeed.
svn path=/nixpkgs/trunk/; revision=20118
Diffstat (limited to 'pkgs')
-rw-r--r--pkgs/top-level/platforms.nix26
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 8bbb3ae56a8..492a0deaf12 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -68,7 +68,33 @@ with pkgs;
     kernelBaseConfig = "integrator_defconfig";
     kernelArch = "arm";
     kernelAutoModules = false;
+    kernelTarget = "zImage";
+    kernelExtraConfig =
+      ''
+        # needed for qemu integrator/cp
+        SERIAL_AMBA_PL011 y
+        SERIAL_AMBA_PL011_CONSOLE y
+        SERIAL_AMBA_PL010 n
+        SERIAL_AMBA_PL010_CONSOLE n
+      '';
+    uboot = null;
+    ubootConfig = "integratorcp_config";
+  };
+
+  integratorCPuboot = {
+    name = "integratorCP";
+    kernelBaseConfig = "integrator_defconfig";
+    kernelArch = "arm";
+    kernelAutoModules = false;
     kernelTarget = "uImage";
+    kernelExtraConfig =
+      ''
+        # needed for qemu integrator/cp
+        SERIAL_AMBA_PL011 y
+        SERIAL_AMBA_PL011_CONSOLE y
+        SERIAL_AMBA_PL010 n
+        SERIAL_AMBA_PL010_CONSOLE n
+      '';
     uboot = uboot;
     ubootConfig = "integratorcp_config";
   };