sel4_externally_shared

Module access

Source
Expand description

Marker types for limiting access.

Structs§

  • Zero-sized marker type that grants no access.
  • Zero-sized marker type for allowing only read access.
  • Zero-sized marker type for allowing both read and write access.
  • Zero-sized marker type for allowing only write access.

Traits§