[Nix-dev] NixOS on Arm - Compiling Kernel sources

[Anujaya Weerawarna]

Hello everyone,

I booted NixOS on my NVIDIA Tegra K1 board using generic armv7 sdcard image
according to https://nixos.org/wiki/NixOS_on_ARM . I'm having trouble
trying to understand how to properly configure the running kernel in NixOS
to support my drivers for arm like nvidia, cuda, wifi and bluetooth and how
to compile the kernel sources that comes for this board (its linux 3.10
based) on NixOS (so the drivers will work out of the box? ).

As I understood, all the nixpkgs in https://github.com/NixOS/nixpkgs are
for amd64 architecture. What are the procedures i should follow to build
packages for arm in Nix or build from the binaries?

Thank you for support!
-- 
*Best Regards,*

*​AJ​*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160823/f6783abf/attachment.html>