Skip to content
  • Charlie Jacobsen's avatar
    private-types: No reference counting for type systems. · 876c9d98
    Charlie Jacobsen authored
    I don't think it's needed at this point. The libcap user is
    therefore responsible for tracking lifetimes and freeing things
    at the correct points.
    
    In addition, I noted in cap_grant (not implemented yet), that
    grant will fail if the source and destination cspaces have
    different type systems.
    876c9d98