kernel/platform/mod.rs
1// Licensed under the Apache License, Version 2.0 or the MIT License.
2// SPDX-License-Identifier: Apache-2.0 OR MIT
3// Copyright Tock Contributors 2022.
4
5//! Traits for implementing various layers and components in Tock.
6//!
7//! Implementations of these traits are used by the core kernel.
8
9pub mod chip;
10pub mod mpu;
11pub mod scheduler_timer;
12pub mod watchdog;
13
14pub(crate) mod platform;
15
16pub use self::platform::ContextSwitchCallback;
17pub use self::platform::KernelResources;
18pub use self::platform::ProcessFault;
19pub use self::platform::SyscallDriverLookup;
20pub use self::platform::SyscallFilter;
21pub use self::platform::TbfHeaderFilterDefaultAllow;