Tuomas Tynkkynen 685ceb999e kernel: Fix missing config options from platform ... common-config.nix has: ${kernelPlatform.kernelExtraConfig or ""} and indeed kernelExtraConfig is in hostPlatform.platform, and not in hostPlatform. (Ugh.).		2018-02-06 22:13:57 +02:00
..
darwin	Merge branch 'dynamic-function-args'	2018-02-02 09:41:16 -05:00
gnu
linux	kernel: Fix missing config options from platform	2018-02-06 22:13:57 +02:00
windows	mingw-w64-pthreads: The C compiler is needed	2018-01-02 19:01:18 -05:00