Eelco Dolstra f155a35d7d Move kernelExtraConfig to common-config.nix (for x86) ...

It's bad to have the kernel config scattered across two places.  (This
should also be done for the other architectures.)

Also, restore Xen and KVM guest support in Linux 3.10.

2013-08-01 14:35:31 +02:00

..

darwin

Merge pull request #723 from lovek323/darwin-tools

2013-07-07 04:49:04 -07:00

gnu

More renames

2012-12-28 19:42:10 +01:00

linux

Move kernelExtraConfig to common-config.nix (for x86)

2013-08-01 14:35:31 +02:00

windows

pthread-win32: don't propagate `mingw_headers'

2013-03-29 21:46:38 +01:00