Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge dev to qemu-cheri #259

Open
wants to merge 20 commits into
base: qemu-cheri
Choose a base branch
from
+557 −233

Enable CHERIv9 semantics by default

967e7a8
Select commit
Loading
Failed to load commit list.
Open

Merge dev to qemu-cheri #259

Enable CHERIv9 semantics by default
967e7a8
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Dec 10, 2024 in 1h 24m 44s

Success

Details

  • Set job properties (1.6 sec)
  • linux (4.4 sec)
    • Checkout (16 sec)
      • Build qemu (2 min 41 sec)
    • Boot CheriBSD (linux) (52 min)
      • riscv64 on linux (3 ms)
      • riscv64-purecap-purecap-kernel on linux (5 ms)
      • riscv64-purecap-hybrid-kernel on linux (13 ms)
      • riscv64-purecap-purecap-kernel-latest-release on linux (6 ms)
      • riscv64-purecap-hybrid-kernel-latest-release on linux (14 ms)
      • aarch64 on linux (8 ms)
      • morello-purecap-purecap-kernel on linux (9 ms)
      • morello-purecap-hybrid-kernel on linux (10 ms)
      • morello-purecap-purecap-kernel-latest-release on linux (11 ms)
      • morello-purecap-hybrid-kernel-latest-release on linux (26 min)
    • Run qemu tests (16 min)
    • Record static analysis (10 sec)
    • Run Morello tests (41 sec)
      • Checkout (7.1 sec)
      • Copying required artifacts (24 sec)
        • Build cheritest-qemu (2 min 48 sec)
      • Run cheritest-qemu tests (3 min 23 sec)
      • Record static analysis (10 sec)
  • freebsd (4.4 sec)
    • Checkout (13 sec)
      • Build qemu (4 min 30 sec)
    • Boot CheriBSD (freebsd) (32 min)
      • riscv64 on freebsd (17 sec)
      • riscv64-purecap-purecap-kernel on freebsd (17 sec)
      • riscv64-purecap-hybrid-kernel on freebsd (17 sec)
      • riscv64-purecap-purecap-kernel-latest-release on freebsd (17 sec)
      • riscv64-purecap-hybrid-kernel-latest-release on freebsd (17 sec)
      • aarch64 on freebsd (17 sec)
      • morello-purecap-purecap-kernel on freebsd (1 ms)
      • morello-purecap-hybrid-kernel on freebsd (17 sec)
      • morello-purecap-purecap-kernel-latest-release on freebsd (17 sec)
      • morello-purecap-hybrid-kernel-latest-release on freebsd (20 min)
    • Run qemu tests (1 min 38 sec)
    • Record static analysis (7.7 sec)
    • Run Morello tests (33 sec)
  • linux-debug (1 hr 24 min)
    • Checkout (12 sec)
      • Build qemu (2 min 42 sec)
    • Boot CheriBSD (linux-debug) (1 hr 13 min)
      • riscv64 on linux-debug (11 sec)
      • riscv64-purecap-purecap-kernel on linux-debug (11 sec)
      • riscv64-purecap-hybrid-kernel on linux-debug (1 ms)
      • aarch64 on linux-debug (11 sec)
      • morello-purecap-purecap-kernel on linux-debug (11 sec)
      • morello-purecap-hybrid-kernel on linux-debug (19 min)
    • Run qemu tests (3 min 15 sec)
    • Record static analysis (8.3 sec)
    • Run Morello tests (40 sec)
      • Checkout (7.8 sec)
      • Copying required artifacts (21 sec)
        • Build cheritest-qemu (52 sec)
      • Run cheritest-qemu tests (1 min 49 sec)
      • Record static analysis (8.9 sec)
View more details on CHERI Jenkins