crates/sel4-async/time: Rename

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 20, 2023 · 2701f74 · 2701f74
1 parent 7bdbb38
commit 2701f74
Show file tree

Hide file tree

Showing 17 changed files with 16 additions and 16 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -57,7 +57,7 @@ members = [
     "crates/sel4-async/network/mbedtls/mozilla-ca-list",
     "crates/sel4-async/request-statuses",
     "crates/sel4-async/single-threaded-executor",
-    "crates/sel4-async/timer-manager",
+    "crates/sel4-async/time",
     "crates/sel4-async/unsync",
     "crates/sel4-backtrace",
     "crates/sel4-backtrace/addr2line-context-helper",

diff --git a/crates/examples/microkit/http-server/pds/server/Cargo.toml b/crates/examples/microkit/http-server/pds/server/Cargo.toml
@@ -15,7 +15,7 @@ sel4-async-block-io = { path = "../../../../../sel4-async/block-io" }
 sel4-async-block-io-fat = { path = "../../../../../sel4-async/block-io/fat" }
 sel4-async-network = { path = "../../../../../sel4-async/network" }
 sel4-async-request-statuses = { path = "../../../../../sel4-async/request-statuses" }
-sel4-async-timer-manager = { path = "../../../../../sel4-async/timer-manager" }
+sel4-async-time = { path = "../../../../../sel4-async/time" }
 sel4-bounce-buffer-allocator = { path = "../../../../../sel4-bounce-buffer-allocator" }
 sel4-immediate-sync-once-cell = { path = "../../../../../sel4-immediate-sync-once-cell" }
 sel4-logging = { path = "../../../../../sel4-logging" }

diff --git a/crates/examples/microkit/http-server/pds/server/core/Cargo.toml b/crates/examples/microkit/http-server/pds/server/core/Cargo.toml
@@ -16,7 +16,7 @@ sel4-async-block-io = { path = "../../../../../../sel4-async/block-io" }
 sel4-async-block-io-fat = { path = "../../../../../../sel4-async/block-io/fat" }
 sel4-async-network = { path = "../../../../../../sel4-async/network" }
 sel4-async-network-mbedtls = { path = "../../../../../../sel4-async/network/mbedtls" }
-sel4-async-timer-manager = { path = "../../../../../../sel4-async/timer-manager" }
+sel4-async-time = { path = "../../../../../../sel4-async/time" }
 sel4-async-unsync = { path = "../../../../../../sel4-async/unsync" }
 sel4-panicking-env = { path = "../../../../../../sel4-panicking/env" }
 

diff --git a/crates/examples/microkit/http-server/pds/server/core/src/lib.rs b/crates/examples/microkit/http-server/pds/server/core/src/lib.rs
@@ -19,7 +19,7 @@ use sel4_async_network_mbedtls::{
     insecure_dummy_rng, mbedtls, seed_insecure_dummy_rng, DbgCallbackBuilder, TcpSocketWrapper,
 };
 use sel4_async_single_threaded_executor::LocalSpawner;
-use sel4_async_timer_manager::TimerManager;
+use sel4_async_time::TimerManager;
 
 mod mime;
 mod server;

diff --git a/crates/examples/microkit/http-server/pds/server/src/handler.rs b/crates/examples/microkit/http-server/pds/server/src/handler.rs
@@ -11,7 +11,7 @@ use smoltcp::time::Instant as SmoltcpInstant;
 use sel4_async_block_io::constant_block_sizes::BlockSize512;
 use sel4_async_network::{DhcpOverrides, ManagedInterface};
 use sel4_async_single_threaded_executor::{LocalPool, LocalSpawner};
-use sel4_async_timer_manager::{Instant, TimerManager};
+use sel4_async_time::{Instant, TimerManager};
 use sel4_shared_ring_buffer_block_io::SharedRingBufferBlockIO;
 
 use crate::{DeviceImpl, TimerClient};

diff --git a/crates/private/meta/Cargo.toml b/crates/private/meta/Cargo.toml
@@ -19,7 +19,7 @@ sel4-async-block-io-fat = { path = "../../sel4-async/block-io/fat" }
 sel4-async-network = { path = "../../sel4-async/network" }
 sel4-async-request-statuses = { path = "../../sel4-async/request-statuses" }
 sel4-async-single-threaded-executor = { path = "../../sel4-async/single-threaded-executor" }
-sel4-async-timer-manager = { path = "../../sel4-async/timer-manager" }
+sel4-async-time = { path = "../../sel4-async/time" }
 sel4-async-unsync = { path = "../../sel4-async/unsync" }
 sel4-bounce-buffer-allocator = { path = "../../sel4-bounce-buffer-allocator" }
 sel4-config = { path = "../../sel4/config" }

diff --git a/crates/private/meta/src/lib.rs b/crates/private/meta/src/lib.rs
@@ -80,7 +80,7 @@ definitely! {
     sel4_async_network
     sel4_async_request_statuses
     sel4_async_single_threaded_executor
-    sel4_async_timer_manager
+    sel4_async_time
     sel4_async_unsync
     sel4_bounce_buffer_allocator
     sel4_config

diff --git a/crates/sel4-async/timer-manager/Cargo.toml → crates/sel4-async/time/Cargo.toml b/crates/sel4-async/timer-manager/Cargo.toml → crates/sel4-async/time/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "sel4-async-timer-manager"
+name = "sel4-async-time"
 version = "0.1.0"
 authors = ["Nick Spinale <[email protected]>"]
 edition = "2021"

diff --git a/...s/sel4-async/timer-manager/src/instant.rs → crates/sel4-async/time/src/instant.rs b/...s/sel4-async/timer-manager/src/instant.rs → crates/sel4-async/time/src/instant.rs
diff --git a/crates/sel4-async/timer-manager/src/lib.rs → crates/sel4-async/time/src/lib.rs b/crates/sel4-async/timer-manager/src/lib.rs → crates/sel4-async/time/src/lib.rs
diff --git a/...s/sel4-async/timer-manager/src/sub_key.rs → crates/sel4-async/time/src/sub_key.rs b/...s/sel4-async/timer-manager/src/sub_key.rs → crates/sel4-async/time/src/sub_key.rs
diff --git a/...l4-async/timer-manager/src/timer_queue.rs → crates/sel4-async/time/src/timer_queue.rs b/...l4-async/timer-manager/src/timer_queue.rs → crates/sel4-async/time/src/timer_queue.rs
diff --git a/...ing/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix b/...ing/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix
@@ -23,7 +23,7 @@ mk {
     sel4-async-unsync
     sel4-async-network
     sel4-async-network-mbedtls
-    sel4-async-timer-manager
+    sel4-async-time
     sel4-panicking-env
     sel4-async-block-io
     sel4-async-block-io-fat

diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix
@@ -46,7 +46,7 @@ mk {
     sel4-externally-shared
     sel4-async-single-threaded-executor
     sel4-async-network
-    sel4-async-timer-manager
+    sel4-async-time
     sel4-async-request-statuses
     sel4-async-block-io-fat
     sel4-newlib

diff --git a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
@@ -19,7 +19,7 @@ mk {
     sel4-async-network
     sel4-async-request-statuses
     sel4-async-single-threaded-executor
-    sel4-async-timer-manager
+    sel4-async-time
     sel4-async-unsync
     sel4-bounce-buffer-allocator
     sel4-externally-shared

diff --git a/...crates/sel4-async/timer-manager/crate.nix → ...-sources/crates/sel4-async/time/crate.nix b/...crates/sel4-async/timer-manager/crate.nix → ...-sources/crates/sel4-async/time/crate.nix
@@ -1,7 +1,7 @@
 { mk, versions, smoltcpWith }:
 
 mk {
-  package.name = "sel4-async-timer-manager";
+  package.name = "sel4-async-time";
   dependencies = {
     inherit (versions) log pin-project;
     # futures = {