I’m trying to compile some extra kernel module for my guixsd, however the headers files needed, `modules.h` and `platform_device.h` was not found. After redefining the linux-libra-headers package, update the version to 4.15.13 which is the version of the kernel I’m currently running, I get `modules.h` but `platform_device.h` still missing. What’s the problem and how can I fix it?
- Missing platform_device.h in linux-libre-headers Eleven
- Re: Missing platform_device.h in linux-libre-headers Mark H Weaver