diff --git a/pkgs/platforms/platforms.nix b/pkgs/platforms/platforms.nix deleted file mode 100644 index 901e994..0000000 --- a/pkgs/platforms/platforms.nix +++ /dev/null @@ -1,38 +0,0 @@ -# SPDX-License-Identifier: Apache-2.0 -# Copyright (c) Bao Project and Contributors. All rights reserved. - -{ pkgs ? import {} -, platform ? " " - -}: -{ - platform_name = "${platform}"; - - platforms-arch = { - zcu102 = "aarch64"; - zcu104 = "aarch64"; - imx8qm = "aarch64"; - tx2 = "aarch64"; - rpi4 = "aarch64"; - qemu-aarch64-virt = "aarch64"; - fvp-a = "aarch64"; - fvp-r = "aarch64"; - fvp-a-aarch32 = "aarch32"; - fvp-r-aarch32 = "aarch32"; - qemu-riscv64-virt = "riscv64"; - }; - - platforms-toolchain = { - qemu-aarch64-virt = "aarch64-none-elf"; - zcu102 = "aarch64-none-elf"; - zcu104 = "aarch64-none-elf"; - imx8qm = "aarch64-none-elf"; - tx2 = "aarch64-none-elf"; - rpi4 = "aarch64-none-elf"; - fvp-a = "aarch64-none-elf"; - fvp-r = "aarch64-none-elf"; - fvp-a-aarch32 = "arm-none-eabi"; - fvp-r-aarch32 = "arm-none-eabi"; - qemu-riscv64-virt = "riscv64-unknown-elf"; - }; -} \ No newline at end of file