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

c18n: Allow system calls only for code with CHERI_PERM_SYSCALL and secure mmap #2320

Open
wants to merge 3 commits into
base: dev
Choose a base branch
from
+92 −86

fixup! c18n: Remove CHERI_PERM_SYSCALL for non-libsys libraries

3c5b752
Select commit
Loading
Failed to load commit list.
Open

c18n: Allow system calls only for code with CHERI_PERM_SYSCALL and secure mmap #2320

fixup! c18n: Remove CHERI_PERM_SYSCALL for non-libsys libraries
3c5b752
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Feb 16, 2025 in 3h 43m 3s

Success

Details

  • Set job properties (1.3 sec)
  • aarch64 (9.6 sec)
    • Checkout (28 sec)
    • Copying required artifacts (27 sec)
      • Build cheribsd-aarch64 (1 hr 20 min)
    • Building disk images (53 sec)
    • Building MFS_ROOT kernels (11 min)
    • Test setup (17 sec)
    • Test aarch64 (3 min 42 sec)
    • Building release images (45 min)
    • Record static analysis (1 min 59 sec)
  • amd64 (9.6 sec)
    • Checkout (34 sec)
    • Copying required artifacts (47 sec)
      • Build cheribsd-amd64 (43 min)
    • Building disk images (47 sec)
    • Test setup (26 sec)
    • Test amd64 (2 min 5 sec)
    • Building release images (25 min)
    • Record static analysis (1 min 8 sec)
  • morello-hybrid (9.6 sec)
    • Checkout (27 sec)
    • Copying required artifacts (20 sec)
      • Build cheribsd-morello-hybrid (2 hr 2 min)
    • Building disk images (1 min 18 sec)
    • Building MFS_ROOT kernels (2 min 22 sec)
    • Test setup (17 sec)
    • Test morello-hybrid hybrid kernel (3.9 sec)
    • Test morello-hybrid purecap kernel (4 sec)
    • Test morello-hybrid purecap-benchmark kernel (16 min)
    • Building release images (11 min)
    • Record static analysis (1 min 16 sec)
  • morello-purecap (9.6 sec)
    • Checkout (27 sec)
    • Copying required artifacts (24 sec)
      • Build cheribsd-morello-purecap (2 hr 35 min)
    • Building disk images (2 min 7 sec)
    • Building MFS_ROOT kernels (7 min 30 sec)
    • Test setup (17 sec)
    • Test morello-purecap hybrid kernel (3.7 sec)
    • Test morello-purecap purecap kernel (3.7 sec)
    • Test morello-purecap purecap-benchmark kernel (28 min)
    • Building release images (24 min)
    • Record static analysis (1 min 30 sec)
  • riscv64 (9.6 sec)
    • Checkout (26 sec)
    • Copying required artifacts (30 sec)
      • Build cheribsd-riscv64 (1 hr 17 min)
    • Building disk images (42 sec)
    • Building MFS_ROOT kernels (4 min 52 sec)
    • Test setup (17 sec)
    • Test riscv64 (3 min 22 sec)
    • Building release images (37 min)
    • Record static analysis (1 min 4 sec)
  • riscv64-hybrid (1 ms)
    • Checkout (25 sec)
    • Copying required artifacts (36 sec)
      • Build cheribsd-riscv64-hybrid (2 hr 51 min)
    • Building disk images (1 min 3 sec)
    • Building MFS_ROOT kernels (11 min)
    • Test setup (17 sec)
    • Test riscv64-hybrid hybrid kernel (2.4 sec)
    • Test riscv64-hybrid purecap kernel (9 min 3 sec)
    • Building release images (12 min)
    • Record static analysis (1 min 26 sec)
  • riscv64-purecap (1 hr 48 min)
    • Checkout (30 sec)
    • Copying required artifacts (48 sec)
      • Build cheribsd-riscv64-purecap (1 hr 20 min)
    • Building disk images (40 sec)
    • Building MFS_ROOT kernels (6 min 5 sec)
    • Test setup (17 sec)
    • Test riscv64-purecap hybrid kernel (2.5 sec)
    • Test riscv64-purecap purecap kernel (8 min 14 sec)
    • Building release images (9 min 42 sec)
    • Record static analysis (45 sec)
View more details on CHERI Jenkins