gdb: Expose CHERI SCRs via the GDB stub #261
Merged
CHERI Jenkins / Jenkins
succeeded
Dec 5, 2024 in 1h 2m 43s
Success
Details
- Set job properties (1.6 sec)
- linux (4.6 sec)
- Checkout (22 sec)
- Build qemu (5 min 21 sec)
- Boot CheriBSD (linux) (43 min)
- riscv64 on linux (21 sec)
- riscv64-purecap-purecap-kernel on linux (1 ms)
- riscv64-purecap-hybrid-kernel on linux (21 sec)
- riscv64-purecap-purecap-kernel-latest-release on linux (21 sec)
- riscv64-purecap-hybrid-kernel-latest-release on linux (21 sec)
- riscv64-purecap-purecap-kernel-dev on linux (21 sec)
- riscv64-purecap-hybrid-kernel-dev on linux (21 sec)
- aarch64 on linux (21 sec)
- morello-purecap-purecap-kernel on linux (21 sec)
- morello-purecap-hybrid-kernel on linux (21 sec)
- morello-purecap-purecap-kernel-latest-release on linux (21 sec)
- morello-purecap-hybrid-kernel-latest-release on linux (21 sec)
- morello-purecap-purecap-kernel-dev on linux (21 sec)
- morello-purecap-hybrid-kernel-dev on linux (23 min)
- Run qemu tests (2 min 28 sec)
- Record static analysis (6.7 sec)
- Run Morello tests (28 sec)
- Checkout (6.3 sec)
- Copying required artifacts (25 sec)
- Build cheritest-qemu (1 min 29 sec)
- Run cheritest-qemu tests (36 sec)
- Record static analysis (7.5 sec)
- Checkout (22 sec)
- freebsd (4.6 sec)
- Checkout (13 sec)
- Build qemu (2 min 51 sec)
- Boot CheriBSD (freebsd) (28 min)
- riscv64 on freebsd (21 sec)
- riscv64-purecap-purecap-kernel on freebsd (21 sec)
- riscv64-purecap-hybrid-kernel on freebsd (21 sec)
- riscv64-purecap-purecap-kernel-latest-release on freebsd (21 sec)
- riscv64-purecap-hybrid-kernel-latest-release on freebsd (21 sec)
- riscv64-purecap-purecap-kernel-dev on freebsd (21 sec)
- riscv64-purecap-hybrid-kernel-dev on freebsd (21 sec)
- aarch64 on freebsd (21 sec)
- morello-purecap-purecap-kernel on freebsd (21 sec)
- morello-purecap-hybrid-kernel on freebsd (21 sec)
- morello-purecap-purecap-kernel-latest-release on freebsd (21 sec)
- morello-purecap-hybrid-kernel-latest-release on freebsd (1 ms)
- morello-purecap-purecap-kernel-dev on freebsd (21 sec)
- morello-purecap-hybrid-kernel-dev on freebsd (16 min)
- Run qemu tests (1 min 36 sec)
- Record static analysis (7.6 sec)
- Run Morello tests (30 sec)
- Checkout (13 sec)
- linux-debug (1 hr 2 min)
- Checkout (10 sec)
- Build qemu (3 min 17 sec)
- Boot CheriBSD (linux-debug) (54 min)
- riscv64 on linux-debug (15 sec)
- riscv64-purecap-purecap-kernel on linux-debug (1 ms)
- riscv64-purecap-hybrid-kernel on linux-debug (15 sec)
- riscv64-purecap-purecap-kernel-dev on linux-debug (15 sec)
- riscv64-purecap-hybrid-kernel-dev on linux-debug (15 sec)
- aarch64 on linux-debug (15 sec)
- morello-purecap-purecap-kernel on linux-debug (15 sec)
- morello-purecap-hybrid-kernel on linux-debug (15 sec)
- morello-purecap-purecap-kernel-dev on linux-debug (15 sec)
- morello-purecap-hybrid-kernel-dev on linux-debug (21 min)
- Run qemu tests (2 min 47 sec)
- Record static analysis (7.1 sec)
- Run Morello tests (30 sec)
- Checkout (6.8 sec)
- Copying required artifacts (14 sec)
- Build cheritest-qemu (11 sec)
- Run cheritest-qemu tests (36 sec)
- Record static analysis (7 sec)
- Checkout (10 sec)
Loading