iso-image: Add support for armv7l-linux
Samuel Dionne-Riel 4 years ago f1100e15 d053c05d
··· 420 420 "ia32" 421 421 else if pkgs.stdenv.isx86_64 then 422 422 "x64" 423 423 + else if pkgs.stdenv.isAarch32 then 424 424 + "arm" 423 425 else if pkgs.stdenv.isAarch64 then 424 426 "aa64" 425 427 else