Skip to content

Rework shared memory in light of revocation and explicit mmap permissions #2225

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

Open
wants to merge 11 commits into
base: dev
Choose a base branch
from

minherit: limit INHERIT_SHARE

9f0e1ac
Select commit
Loading
Failed to load commit list.
Open

Rework shared memory in light of revocation and explicit mmap permissions #2225

minherit: limit INHERIT_SHARE
9f0e1ac
Select commit
Loading
Failed to load commit list.
CHERI Jenkins / Jenkins succeeded Oct 18, 2024 in 1h 43m 58s

Success

Details

  • Set job properties (1.5 sec)
  • aarch64 (1 ms)
    • Checkout (22 sec)
    • Copying required artifacts (27 sec)
      • Build cheribsd-aarch64 (20 min)
    • Building disk images (25 sec)
    • Building MFS_ROOT kernels (1 min 57 sec)
    • Test setup (20 sec)
    • Test aarch64 (1 min 44 sec)
    • Building release images (10 min)
    • Record static analysis (44 sec)
  • amd64 (10 sec)
    • Checkout (36 sec)
    • Copying required artifacts (32 sec)
      • Build cheribsd-amd64 (29 min)
    • Building disk images (42 sec)
    • Test setup (20 sec)
    • Test amd64 (2 min 1 sec)
    • Building release images (20 min)
    • Record static analysis (50 sec)
  • morello-hybrid (10 sec)
    • Checkout (27 sec)
    • Copying required artifacts (29 sec)
      • Build cheribsd-morello-hybrid (41 min)
    • Building disk images (28 sec)
    • Building MFS_ROOT kernels (1 min 37 sec)
    • Test setup (20 sec)
    • Test morello-hybrid hybrid kernel (1 ms)
    • Test morello-hybrid purecap kernel (3.9 sec)
    • Test morello-hybrid purecap-benchmark kernel (14 min)
    • Building release images (10 min)
    • Record static analysis (1 min 5 sec)
  • morello-purecap (10 sec)
    • Checkout (27 sec)
    • Copying required artifacts (27 sec)
      • Build cheribsd-morello-purecap (58 min)
    • Building disk images (28 sec)
    • Building MFS_ROOT kernels (1 min 44 sec)
    • Test setup (20 sec)
    • Test morello-purecap hybrid kernel (3.8 sec)
    • Test morello-purecap purecap kernel (3.8 sec)
    • Test morello-purecap purecap-benchmark kernel (19 min)
    • Building release images (20 min)
    • Record static analysis (1 min 17 sec)
  • riscv64 (10 sec)
    • Checkout (26 sec)
    • Copying required artifacts (23 sec)
      • Build cheribsd-riscv64 (15 min)
    • Building disk images (28 sec)
    • Building MFS_ROOT kernels (3 min 21 sec)
    • Test setup (20 sec)
    • Test riscv64 (2 min 18 sec)
    • Building release images (9 min 43 sec)
    • Record static analysis (33 sec)
  • riscv64-hybrid (10 sec)
    • Checkout (32 sec)
    • Copying required artifacts (32 sec)
      • Build cheribsd-riscv64-hybrid (37 min)
    • Building disk images (48 sec)
    • Building MFS_ROOT kernels (10 min)
    • Test setup (28 sec)
    • Test riscv64-hybrid hybrid kernel (3.1 sec)
    • Test riscv64-hybrid purecap kernel (9 min 7 sec)
    • Building release images (8 min 24 sec)
    • Record static analysis (54 sec)
  • riscv64-purecap (1 hr 11 min)
    • Checkout (24 sec)
    • Copying required artifacts (27 sec)
      • Build cheribsd-riscv64-purecap (38 min)
    • Building disk images (47 sec)
    • Building MFS_ROOT kernels (10 min)
    • Test setup (28 sec)
    • Test riscv64-purecap hybrid kernel (2.5 sec)
    • Test riscv64-purecap purecap kernel (9 min 58 sec)
    • Building release images (8 min 38 sec)
    • Record static analysis (58 sec)
View more details on CHERI Jenkins