platforms.yml

# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause

---

# Hardware and simulation platform definitions for seL4 builds.

modes: [32, 64]
architectures: [x86, arm, riscv]

# platform-key:
#     arch: one of architectures; required
#     modes: list of modes; non-empty; required
#     smp: list of modes; optional (null = empty)
#     aarch_hyp: list of modes; optional (null = empty)
#     platform: name; required
#     image_platform: name; optional
#     has_simulation: boolean; optional; (null = false); platform has a simulation
#     march: string; optional
#     req: list of string; optional; names of test boards in machine queue
#     no_hw_test: optional; (null = false); no hw test on this platform
#     no_hw_build: optional; (null = false); no hw build for this platform (implies no_hw_test)

platforms:
  SPIKE32:
    arch: riscv
    modes: [32]
    platform: spike
    has_simulation: true
    march: rv32imac
    no_hw_test: true
    no_hw_build: true

  SPIKE64:
    arch: riscv
    modes: [64]
    platform: spike
    has_simulation: true
    march: rv64imac
    no_hw_test: true
    no_hw_build: true

  RISCVVIRT64:
    arch: riscv
    modes: [64]
    platform: qemu-riscv-virt
    has_simulation: true
    march: rv64imac
    no_hw_test: true
    no_hw_build: true

  RISCVVIRT32:
    arch: riscv
    modes: [32]
    platform: qemu-riscv-virt
    has_simulation: true
    march: rv32imac
    no_hw_test: true
    no_hw_build: true

  HIFIVE:
    arch: riscv
    modes: [64]
    smp: [64]
    platform: hifive
    req: [hifive] # , hifive1]
    march: rv64imac

  POLARFIRE:
    arch: riscv
    modes: [64]
    smp: [64]
    platform: polarfire
    march: rv64imac
    no_hw_test: true

  SABRE:
    arch: arm
    modes: [32]
    smp: [32]
    platform: sabre
    image_platform: imx6
    req: [sabre, sabre4, sabre2]
    has_simulation: true
    march: armv7a

  ROCKPRO64:
    arch: arm
    modes: [64]
    platform: rockpro64
    req: [rockpro64a]
    march: armv8a
    no_hw_test: true

  QUARTZ64:
    arch: arm
    modes: [64]
    platform: quartz64
    march: armv8a
    no_hw_test: true

  ARMVIRT32:
    arch: arm
    modes: [32]
    platform: qemu-arm-virt
    has_simulation: true
    march: armv7a # Cortex-A15 is emulated by default
    no_hw_test: true
    no_hw_build: true

  ARMVIRT64:
    arch: arm
    modes: [64]
    platform: qemu-arm-virt
    has_simulation: true
    march: armv8a # Cortex-A53 is emulated by default
    no_hw_test: true
    no_hw_build: true

  IMX8MQ_EVK:
    arch: arm
    modes: [64]
    smp: [64]
    aarch_hyp: [64]
    platform: imx8mq-evk
    req: [imx8mq]
    march: armv8a

  MAAXBOARD:
    arch: arm
    modes: [32, 64]
    smp: [64]
    aarch_hyp: [64]
    platform: maaxboard
    req: [maaxboard1]
    march: armv8a
    no_hw_build: true
    # The MaaxBoard in machine queue expects a binary image
    # settings:
    # Sel4testAllowSettingsOverride: true
    # ElfloaderImage: "binary"

  IMX8MM_EVK:
    arch: arm
    modes: [32, 64]
    smp: [64]
    platform: imx8mm-evk
    req: [imx8mm]
    march: armv8a

  TQMA8XQP1GB:
    arch: arm
    modes: [64]
    smp: [64]
    platform: tqma8xqp1gb
    req: [tqma]
    march: armv8a

  OMAP3:
    arch: arm
    modes: [32]
    platform: omap3
    req: [beagle]
    march: armv7a

  AM335X_BONEBLACK:
    arch: arm
    modes: [32]
    platform: am335x-boneblack
    image_platform: am335x
    req: [bboneblack]
    march: armv8a

  ODROID_C2:
    arch: arm
    modes: [64]
    platform: odroidc2
    req: [odroidc2]
    march: armv8a

  ODROID_C4:
    arch: arm
    modes: [64]
    aarch_hyp: [64]
    smp: [64]
    platform: odroidc4
    req: [odroidc4_1, odroidc4_2]
    march: armv8a

  ODROID_X:
    arch: arm
    modes: [32]
    platform: exynos4
    req: [odroid]
    march: armv7a
    no_hw_test: true

  ODROID_XU:
    arch: arm
    modes: [32]
    aarch_hyp: [32]
    platform: exynos5410
    req: [odroid-xu]
    image_platform: exynos5
    march: armv7a
    no_hw_test: true

  ARNDALE:
    arch: arm
    modes: [32]
    platform: exynos5250
    req: [arndale]
    image_platform: exynos5
    march: armv7a
    no_hw_build: true

  ODROID_XU4:
    arch: arm
    modes: [32]
    aarch_hyp: [32]
    platform: exynos5422
    req: [odroidxu4_2]
    image_platform: exynos5
    march: armv7a

  ZYNQ7000:
    arch: arm
    modes: [32]
    platform: zynq7000
    req: [zc706]
    has_simulation: true
    march: armv7a
    no_hw_test: true

  ZYNQMP:
    arch: arm
    modes: [64]
    smp: [64]
    platform: zynqmp
    req: [zcu102_2]
    march: armv8a
    # The ZCU102 in machine queue expects a binary image
    # settings:
    # Sel4testAllowSettingsOverride: true
    # ElfloaderImage: "binary"

  ZYNQMP106:
    arch: arm
    modes: [64]
    smp: [64]
    platform: zynqmp
    req: [zcu106]
    march: armv8a

  HIKEY:
    arch: arm
    modes: [32, 64]
    aarch_hyp: [64]
    platform: hikey
    req: [hikey]
    march: armv8a
    no_hw_test: true

  TK1:
    arch: arm
    modes: [32]
    aarch_hyp: [32]
    platform: tk1
    req: [jetson1]
    march: armv7a

  RPI3:
    arch: arm
    modes: [32]
    platform: rpi3
    req: [rpi3]
    image_platform: bcm2837
    march: armv8a # ARMv8 platform currently used in AARCH32 mode only.
    no_hw_test: true

  RPI4:
    arch: arm
    modes: [64]
    platform: rpi4
    req: [pi4B]
    image_platform: bcm2711
    march: armv8a
    no_hw_test: true

  TX1:
    arch: arm
    modes: [64]
    smp: [64]
    aarch_hyp: [64]
    platform: tx1
    req: [tx1a]
    march: armv8a

  TX2:
    arch: arm
    modes: [64]
    smp: [64]
    aarch_hyp: [64]
    platform: tx2
    req: [tx2a, tx2b]
    march: armv8a

  APQ8064:
    arch: arm
    modes: [32]
    platform: apq8064
    req: [inforce]
    image_platform: inforce
    march: armv7a
    no_hw_build: true

  WANDQ:
    arch: arm
    modes: [32]
    platform: wandq
    image_platform: imx6
    # march: ?
    no_hw_test: true
    no_hw_build: true

  ALLWINNER20:
    arch: arm
    modes: [32]
    platform: allwinner20
    march: armv7a
    no_hw_test: true
    no_hw_build: true

  IMX7SABRE:
    arch: arm
    modes: [32]
    platform: imx7sabre
    req: [imx7]
    image_platform: imx7
    # march: ?
    no_hw_test: true
    no_hw_build: true

  PC99:
    arch: x86
    modes: [32, 64]
    smp: [32, 64]
    platform: x86_64
    req: [skylake, haswell3, haswell4, skylake2]
    has_simulation: true
    march: nehalem

# platforms where MCS is wholly unsupported
# (for platforms with partial support see sel4test-hw/build.py and comments below)
mcs_unsupported_platforms:
  # both fail SCHED0012 and debug assertions on boot:
  - IMX8MQ_EVK
  - MAAXBOARD
  # unsupported for specific configs: ODROID_X4, TX2
  # unsupported for multicore: SABRE, IMX8MM_EVK
  # see also https://github.com/seL4/ci-actions/blob/master/sel4test-hw/build.py
  # function "build_filter" for more MCS exclusions