diff options
| author | Dániel Buga <[email protected]> | 2023-08-12 16:00:18 +0200 |
|---|---|---|
| committer | Dániel Buga <[email protected]> | 2023-08-12 18:29:56 +0200 |
| commit | 675b7fb6056d8c3dfaca759b7cd373e2f4a0e111 (patch) | |
| tree | ef4f786edd849f9ce82cffa3b1d58e939a4f53a7 /embassy-executor/src/lib.rs | |
| parent | 0727f8690c4684d0622547edee2cf9dc22215a9b (diff) | |
POC: allow custom executors
Diffstat (limited to 'embassy-executor/src/lib.rs')
| -rw-r--r-- | embassy-executor/src/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/embassy-executor/src/lib.rs b/embassy-executor/src/lib.rs index 3ce687eb6..ca67c9484 100644 --- a/embassy-executor/src/lib.rs +++ b/embassy-executor/src/lib.rs | |||
| @@ -37,6 +37,11 @@ pub use arch::*; | |||
| 37 | 37 | ||
| 38 | pub mod raw; | 38 | pub mod raw; |
| 39 | 39 | ||
| 40 | #[cfg(feature = "executor-interrupt")] | ||
| 41 | pub mod interrupt; | ||
| 42 | #[cfg(feature = "executor-thread")] | ||
| 43 | pub mod thread; | ||
| 44 | |||
| 40 | mod spawner; | 45 | mod spawner; |
| 41 | pub use spawner::*; | 46 | pub use spawner::*; |
| 42 | 47 | ||