search

hardkernel / linux

Linux kernel source tree
Other
427 stars 406 forks source link

Kernel fails to build when using odroidxu4_defconfig (on NixOS) #359

Open qolii opened 5 years ago

qolii commented 5 years ago

During the kernel (4.14.55-146 tag) build, I get the error:

../drivers/gator/gator_events_mali_midgard.c:25:10: fatal error: linux/mali_linux_trace.h: No such file or directory
 #include "linux/mali_linux_trace.h"
          ^~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

If I modify the kernel config with CONFIG_GATOR=n, the kernel builds (and works) correctly – although, presumably without gator support.

One point is that my source tree for this failing build does have the file drivers/gpu/arm/midgard/mali_linux_trace.h. Looking at the source, my best guess is that MALI_DIR_MIDGARD hasn't been defined when it should be, so that #ifdef at line 20 steers us the wrong way.

qolii commented 5 years ago

This is the cause of https://github.com/NixOS/nixpkgs/pull/43637