From 85a35352bbfe448b69d52dbad9278dd85593b14c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Llu=C3=ADs=20Batlle=20i=20Rossell?= Date: Thu, 18 Feb 2010 21:10:49 +0000 Subject: [PATCH] Trying to get serial in qemu integratorcp. Still without succeed. svn path=/nixpkgs/trunk/; revision=20118 --- pkgs/top-level/platforms.nix | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) 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 @@ -64,11 +64,37 @@ with pkgs; }; integratorCP = { + name = "integratorCP"; + 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"; };