diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix index 063878d63b8..897ba448b95 100644 --- a/lib/systems/examples.nix +++ b/lib/systems/examples.nix @@ -29,6 +29,18 @@ rec { platform = platforms.aarch64-multiplatform; }; + armv5te-android-prebuilt = rec { + config = "armv5tel-unknown-linux-androideabi"; + platform = platforms.armv5te-android; + useAndroidPrebuilt = true; + }; + + armv7a-android-prebuilt = rec { + config = "armv7a-unknown-linux-androideabi"; + platform = platforms.armv7a-android; + useAndroidPrebuilt = true; + }; + aarch64-android-prebuilt = rec { config = "aarch64-unknown-linux-android"; platform = platforms.aarch64-multiplatform; diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix index cceaecf0184..5becaf581a4 100644 --- a/lib/systems/platforms.nix +++ b/lib/systems/platforms.nix @@ -384,6 +384,27 @@ rec { kernelTarget = "zImage"; }; + # https://developer.android.com/ndk/guides/abis#armeabi + armv5te-android = { + name = "armeabi"; + gcc = { + arch = "armv5te"; + float = "soft"; + float-abi = "soft"; + }; + }; + + # https://developer.android.com/ndk/guides/abis#v7a + armv7a-android = { + name = "armeabi-v7a"; + gcc = { + arch = "armv7-a"; + float = "hard"; + float-abi = "softfp"; + fpu = "vfpv3-d16"; + }; + }; + armv7l-hf-multiplatform = { name = "armv7l-hf-multiplatform"; kernelMajor = "2.6"; # Using "2.6" enables 2.6 kernel syscalls in glibc.