toolchain.nix

let
# TODO: fix EABI/OABI discrepancy
  kernelConfig = "imx_v6_v7_defconfig";
  pkgs = import ./. {
    crossSystem = {
      config = "arm-linux-gnueabihf";
      bigEndian = false;
      arch = "arm";
      float = "hard";
      withTLS = true;
      libc = "uclibc";
      platform = {
        name = "kobo";
        kernelMajor = "2.6";
        kernelBaseConfig = kernelConfig;
        kernelHeadersBaseConfig = kernelConfig;
        uboot = null;
        kernelArch = "arm";
        kernelAutoModules = false;
        kernelTarget = "vmlinux.bin";
      };
      openssl.system = "linux-generic32";
      gcc.arch = "armv7-a";
    };
  };
in
  pkgs.gcc