Bug#774896: linux: The armmp kernel config doesn't support exynos4 / odroid hardware

Control: tag -1 -newcomer Control: severity -1 wishlist On Thu, 2015-01-08 at 19:58 +0100, Sten Spans wrote: Currently there is no working debian kernel for exynos4 / odroid platforms. Thanks for taking the time to submit a patch. I'm afraid I've now remembered why I didn't enable exynos4

Bug#774896: linux: The armmp kernel config doesn't support exynos4 / odroid hardware

Package: src:linux Version: 3.18-1~exp1 Severity: important File: linux Tags: newcomer patch Dear Maintainer, *** Reporter, please consider answering these questions, where appropriate *** * What led up to the situation? Currently there is no working debian kernel for exynos4 / odroid