diff options
author | 2017-11-15 12:38:53 +0100 | |
---|---|---|
committer | 2017-11-15 12:38:53 +0100 | |
commit | 1e2efb6b7a0d76d9b672e09862515f5ac2541d9f (patch) | |
tree | 1de68720694c91dd3aaf71286f53d0c995fcb746 /src/shared/mod.rs | |
parent | 7afc050be9266413f9104e51a59e061b9a918bbc (diff) | |
parent | 7ee37f04538c7ded6f1ec4c8576a99fefa0d9fc3 (diff) | |
download | rust-x86-1e2efb6b7a0d76d9b672e09862515f5ac2541d9f.tar.gz rust-x86-1e2efb6b7a0d76d9b672e09862515f5ac2541d9f.tar.zst rust-x86-1e2efb6b7a0d76d9b672e09862515f5ac2541d9f.zip |
Merge pull request #37 from RWTH-OS/devel
move time.rs into the directory shared
Diffstat (limited to 'src/shared/mod.rs')
-rw-r--r-- | src/shared/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shared/mod.rs b/src/shared/mod.rs index 8c81478..6ea7633 100644 --- a/src/shared/mod.rs +++ b/src/shared/mod.rs @@ -9,6 +9,7 @@ pub mod flags; pub mod segmentation; pub mod task; pub mod tlb; +pub mod time; pub mod cpuid { pub use raw_cpuid::*; |