sel4_async_block_io_fat/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: BSD-2-Clause
//

#![no_std]

pub use embedded_fat::*;

mod block_io_wrapper;
mod dummy_time_source;

pub use block_io_wrapper::BlockIOWrapper;
pub use dummy_time_source::DummyTimeSource;