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

riscv: Add the modesw.{cap,int} instructions #265

Open
wants to merge 1 commit into
base: dev
Choose a base branch
from

riscv: Add the modesw.{cap,int} instructions

8bf48d2
Select commit
Loading
Failed to load commit list.
Open

riscv: Add the modesw.{cap,int} instructions #265

riscv: Add the modesw.{cap,int} instructions
8bf48d2
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Feb 10, 2025 in 1h 23m 42s

Success

Details

  • Set job properties (1.4 sec)
  • linux (4.2 sec)
    • Checkout (16 sec)
      • Build qemu (3 min 6 sec)
    • Boot CheriBSD (linux) (42 min)
      • riscv64 on linux (19 sec)
      • riscv64-purecap-purecap-kernel on linux (19 sec)
      • riscv64-purecap-hybrid-kernel on linux (1 ms)
      • riscv64-purecap-purecap-kernel-latest-release on linux (19 sec)
      • riscv64-purecap-hybrid-kernel-latest-release on linux (19 sec)
      • riscv64-purecap-purecap-kernel-dev on linux (19 sec)
      • riscv64-purecap-hybrid-kernel-dev on linux (19 sec)
      • aarch64 on linux (19 sec)
      • morello-purecap-purecap-kernel on linux (19 sec)
      • morello-purecap-hybrid-kernel on linux (19 sec)
      • morello-purecap-purecap-kernel-latest-release on linux (19 sec)
      • morello-purecap-hybrid-kernel-latest-release on linux (19 sec)
      • morello-purecap-purecap-kernel-dev on linux (1 ms)
      • morello-purecap-hybrid-kernel-dev on linux (29 min)
    • Run qemu tests (3 min 14 sec)
    • Record static analysis (9.3 sec)
    • Run Morello tests (35 sec)
      • Checkout (6.5 sec)
      • Copying required artifacts (16 sec)
        • Build cheritest-qemu (16 sec)
      • Run cheritest-qemu tests (51 sec)
      • Record static analysis (13 sec)
  • freebsd (4.2 sec)
    • Checkout (38 sec)
      • Build qemu (6 min 13 sec)
    • Boot CheriBSD (freebsd) (35 min)
      • riscv64 on freebsd (1 ms)
      • riscv64-purecap-purecap-kernel on freebsd (18 sec)
      • riscv64-purecap-hybrid-kernel on freebsd (18 sec)
      • riscv64-purecap-purecap-kernel-latest-release on freebsd (18 sec)
      • riscv64-purecap-hybrid-kernel-latest-release on freebsd (18 sec)
      • riscv64-purecap-purecap-kernel-dev on freebsd (18 sec)
      • riscv64-purecap-hybrid-kernel-dev on freebsd (18 sec)
      • aarch64 on freebsd (18 sec)
      • morello-purecap-purecap-kernel on freebsd (18 sec)
      • morello-purecap-hybrid-kernel on freebsd (18 sec)
      • morello-purecap-purecap-kernel-latest-release on freebsd (1 ms)
      • morello-purecap-hybrid-kernel-latest-release on freebsd (18 sec)
      • morello-purecap-purecap-kernel-dev on freebsd (18 sec)
      • morello-purecap-hybrid-kernel-dev on freebsd (23 min)
    • Run qemu tests (1 min 49 sec)
    • Record static analysis (8.8 sec)
    • Run Morello tests (36 sec)
  • linux-debug (1 hr 23 min)
    • Checkout (21 sec)
      • Build qemu (6 min 13 sec)
    • Boot CheriBSD (linux-debug) (1 hr 11 min)
      • riscv64 on linux-debug (13 sec)
      • riscv64-purecap-purecap-kernel on linux-debug (13 sec)
      • riscv64-purecap-hybrid-kernel on linux-debug (13 sec)
      • riscv64-purecap-purecap-kernel-dev on linux-debug (13 sec)
      • riscv64-purecap-hybrid-kernel-dev on linux-debug (13 sec)
      • aarch64 on linux-debug (13 sec)
      • morello-purecap-purecap-kernel on linux-debug (13 sec)
      • morello-purecap-hybrid-kernel on linux-debug (13 sec)
      • morello-purecap-purecap-kernel-dev on linux-debug (13 sec)
      • morello-purecap-hybrid-kernel-dev on linux-debug (33 min)
    • Run qemu tests (3 min 11 sec)
    • Record static analysis (10 sec)
    • Run Morello tests (36 sec)
      • Checkout (6.4 sec)
      • Copying required artifacts (16 sec)
        • Build cheritest-qemu (16 sec)
      • Run cheritest-qemu tests (43 sec)
      • Record static analysis (9 sec)
View more details on CHERI Jenkins