cmake: group arch specific handling

6cd1a8d

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

DCO

DCO

HW on: pull_request_target

seL4Test / Freeze Code

seL4Test / HW Build

seL4Test / Matrix

seL4Test / HW Run

seL4Bench / Freeze Code

seL4Bench / Build

seL4Bench / HW Benchmark

CI on: pull_request

Checks / License Check

Checks / Links

seL4Test on: pull_request

Sim / Simulation (armv7a, gcc)

Sim / Simulation (armv7a, clang)

Sim / Simulation (armv8a, gcc)

Sim / Simulation (armv8a, clang)

Sim / Simulation (nehalem, gcc)

Sim / Simulation (nehalem, clang)

Sim / Simulation (rv32imac, gcc)

Sim / Simulation (rv32imac, clang)

Sim / Simulation (rv64imac, gcc)

Sim / Simulation (rv64imac, clang)

PR on: pull_request 1

Checks / Gitlint

Checks / Trailing Whitespace

Checks / Portable Shell

Checks / Style

This check has been archived and is scheduled for deletion. Learn more about checks retention

DCO / DCO succeeded Jul 14, 2025 in 0s

DCO

All commits are signed off!

Loading