Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • L llvm-project
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 41
    • Issues 41
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 20
    • Merge requests 20
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Morello
  • llvm-project
  • Merge requests
  • !236

Indirect Sentry Intrinsics

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Nick Lewis requested to merge feature/indirect_sentry_intrinsics into morello/dev Mar 06, 2023
  • Overview 5
  • Commits 1
  • Pipelines 1
  • Changes 7

This MR adds support for indirect sentry intrinsics - i.e. sealed capabilities to either the location of the capability to become the PCC or the location of a pair of capabilities consisting of a data capability and the executable capability. The intrinsics are a minimal solution. They concern themselves only with the sealed capability and not the capabilities that are referenced by the sealed capability

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: feature/indirect_sentry_intrinsics