sel4_async_block_io_fat/
lib.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7#![no_std]
8
9pub use embedded_fat::*;
10
11mod block_io_wrapper;
12mod dummy_time_source;
13
14pub use block_io_wrapper::BlockIOWrapper;
15pub use dummy_time_source::DummyTimeSource;