Hello, I installed GuixSD recently and ran into the same problem as there:
https://lists.gnu.org/archive/html/bug-guix/2013-02/msg00032.html Installing linux-libre-headers manually did help, but shouldn't it happen automatically? With kind regards, Danny
