Code

Improve aarch32 support throughout#72

Code

Merged

nspin merged 9 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/aarch32-support-for-kernel-loadernspin/rust-sel4:pr/aarch32-support-for-kernel-loaderCopy head branch name to clipboardFeb 2, 2024

+1,145-157

Commits

Commits on Feb 2, 2024

• Add armv7a-sel4* target specs

  Show description for 48dadc7
  nspin

  committed
  48dadc7

  Copy full SHA for 48dadc7

• Check assumption in sel4-generate-target-specs script

  Show description for 9599336
  nspin

  committed
  9599336

  Copy full SHA for 9599336

• Use default LLVM target for aarch64-sel4* targets

  Show description for 1e14c76
  nspin

  committed
  1e14c76

  Copy full SHA for 1e14c76

• Don't enable unwinding on aarch32

  Show description for 2b984bc
  nspin

  committed
  2b984bc

  Copy full SHA for 2b984bc

• Clean up sel4-generate-target-specs script

  Show description for 85ec961
  nspin

  committed
  85ec961

  Copy full SHA for 85ec961

• Add support for aarch32 in runtime crates

  Show description for 2efe794
  nspin

  committed
  2efe794

  Copy full SHA for 2efe794

• nix: Include rpi4 aarch32 kernel patches

  Show description for 33f76db
  nspin

  committed
  33f76db

  Copy full SHA for 33f76db

• nix: Enable more tests on aarch32

  Show description for 34a407a
  nspin

  committed
  34a407a

  Copy full SHA for 34a407a

• Add aarch32 support to kernel loader

  Show description for 546f841
  nspin

  committed
  546f841

  Copy full SHA for 546f841