@ -91,25 +91,23 @@ rec {
config = " m i p s e l - u n k n o w n - l i n u x - g n u " ;
} // platforms . fuloong2f_n32 ;
# MIPS ABI table transcribed from here: https://wiki.debian.org/Multiarch/Tuples
# can execute on 32bit chip
mips-linux-gnu = { config = " m i p s - l i n u x - g n u " ; } // platforms . gcc_mips32r2_o32 ;
mipsel-linux-gnu = { config = " m i p s e l - l i n u x - g n u " ; } // platforms . gcc_mips32r2_o32 ;
mipsisa32r6-linux-gnu = { config = " m i p s i s a 3 2 r 6 - l i n u x - g n u " ; } // platforms . gcc_mips32r6_o32 ;
mipsisa32r6el-linux-gnu = { config = " m i p s i s a 3 2 r 6 e l - l i n u x - g n u " ; } // platforms . gcc_mips32r6_o32 ;
mips-linux-gnu = { config = " m i p s - u n k n o w n - l i n u x - g n u " ; } // platforms . gcc_mips32r2_o32 ;
mipsel-linux-gnu = { config = " m i p s e l - u n k n o w n - li n u x - g n u " ; } // platforms . gcc_mips32r2_o32 ;
mipsisa32r6-linux-gnu = { config = " m i p s i s a 3 2 r 6 - u n k n o w n - li n u x - g n u " ; } // platforms . gcc_mips32r6_o32 ;
mipsisa32r6el-linux-gnu = { config = " m i p s i s a 3 2 r 6 e l - u n k n o w n - li n u x - g n u " ; } // platforms . gcc_mips32r6_o32 ;
# require 64bit chip (for more registers, 64-bit floating point, 64-bit "long long") but use 32bit pointers
mips64-linux-gnuabin32 = { config = " m i p s 6 4 - l i n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r2_n32 ;
mips64el-linux-gnuabin32 = { config = " m i p s 6 4 e l - l i n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r2_n32 ;
mipsisa64r6-linux-gnuabin32 = { config = " m i p s i s a 6 4 r 6 - l i n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r6_n32 ;
mipsisa64r6el-linux-gnuabin32 = { config = " m i p s i s a 6 4 r 6 e l - l i n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r6_n32 ;
mips64-linux-gnuabin32 = { config = " m i p s 6 4 - u n k n o w n - li n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r2_n32 ;
mips64el-linux-gnuabin32 = { config = " m i p s 6 4 e l - u n k n o w n - li n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r2_n32 ;
mipsisa64r6-linux-gnuabin32 = { config = " m i p s i s a 6 4 r 6 - u n k n o w n - li n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r6_n32 ;
mipsisa64r6el-linux-gnuabin32 = { config = " m i p s i s a 6 4 r 6 e l - u n k n o w n - li n u x - g n u a b i n 3 2 " ; } // platforms . gcc_mips64r6_n32 ;
# 64bit pointers
mips64-linux-gnuabi64 = { config = " m i p s 6 4 - l i n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r2_64 ;
mips64el-linux-gnuabi64 = { config = " m i p s 6 4 e l - l i n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r2_64 ;
mipsisa64r6-linux-gnuabi64 = { config = " m i p s i s a 6 4 r 6 - l i n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r6_64 ;
mipsisa64r6el-linux-gnuabi64 = { config = " m i p s i s a 6 4 r 6 e l - l i n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r6_64 ;
mips64-linux-gnuabi64 = { config = " m i p s 6 4 - u n k n o w n - li n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r2_64 ;
mips64el-linux-gnuabi64 = { config = " m i p s 6 4 e l - u n k n o w n - li n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r2_64 ;
mipsisa64r6-linux-gnuabi64 = { config = " m i p s i s a 6 4 r 6 - u n k n o w n - li n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r6_64 ;
mipsisa64r6el-linux-gnuabi64 = { config = " m i p s i s a 6 4 r 6 e l - u n k n o w n - li n u x - g n u a b i 6 4 " ; } // platforms . gcc_mips64r6_64 ;
muslpi = raspberryPi // {
config = " a r m v 6 l - u n k n o w n - l i n u x - m u s l e a b i h f " ;