sel4_abstract_ptr/
lib.rs

1//
2// Copyright 2024, Colias Group, LLC
3// Copyright (c) 2020 Philipp Oppermann
4//
5// SPDX-License-Identifier: MIT OR Apache-2.0
6//
7
8#![no_std]
9#![allow(clippy::missing_safety_doc)]
10
11mod abstract_ptr;
12mod abstract_ref;
13mod core_ext;
14
15pub mod access;
16pub mod memory_type;
17
18pub use abstract_ptr::AbstractPtr;
19pub use abstract_ref::AbstractRef;