Evgeny Egorochkin 339e1d94c6 Turning off PAE support which makes kernel unbootable on older hardware causes CRASH_DUMP option to ... disappear, so make it optional.		2013-08-12 05:32:11 +03:00
..
darwin	Merge pull request #723 from lovek323/darwin-tools	2013-07-07 04:49:04 -07:00
gnu
linux	Turning off PAE support which makes kernel unbootable on older hardware causes CRASH_DUMP option to	2013-08-12 05:32:11 +03:00
windows