Frequently Asked QuestionsΒΆ

What are the common questions developers have, when working with CHERI software?

  • What is a CHERI capability?
  • How do I get a Morello board?
  • How do I compile for CHERI?
  • How do I use hardware performance counters on Morello with CheriBSD?
  • Which header file(s) should I include to use CHERI functions?
  • How do I tell whether I am on a Morello machine?
  • How do I install gdb on Morello?
  • How do I printf a capability value?
  • How do I tell whether an executable is purecap or hybrid?
  • How do I run CHERI programs?
  • How do I specify where shared object files are located?
  • How do I use the LD_PRELOAD trick for CheriBSD?
  • How do I know if a capability is valid?
  • Can I run FreeBSD AArch64 binaries on CheriBSD?

Logo

Navigation

Contents:

  • About the project
  • Frequently Asked Questions
    • What is a CHERI capability?
    • How do I get a Morello board?
    • How do I compile for CHERI?
    • How do I use hardware performance counters on Morello with CheriBSD?
    • Which header file(s) should I include to use CHERI functions?
    • How do I tell whether I am on a Morello machine?
    • How do I install gdb on Morello?
    • How do I printf a capability value?
    • How do I tell whether an executable is purecap or hybrid?
    • How do I run CHERI programs?
    • How do I specify where shared object files are located?
    • How do I use the LD_PRELOAD trick for CheriBSD?
    • How do I know if a capability is valid?
    • Can I run FreeBSD AArch64 binaries on CheriBSD?
  • Common CHERI compiler errors

Related Topics

  • Documentation overview
    • Previous: About the project
    • Next: What is a CHERI capability?

Quick search

©2023, Jeremy Singer. | Powered by Sphinx 3.5.4 & Alabaster 0.7.7 | Page source