Add teeos

Signed-off-by: 袁浩 <yuanhao34@huawei.com>
rust-lang · Sep 1, 2023 · 287e85a · 287e85a
1 parent 8356615
commit 287e85a
Show file tree

Hide file tree

Showing 2 changed files with 1,381 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -139,6 +139,12 @@ cfg_if! {
 
         mod hermit;
         pub use hermit::*;
+    } else if #[cfg(target_os = "teeos")] {
+        mod fixed_width_ints;
+        pub use fixed_width_ints::*;
+
+        mod teeos;
+        pub use teeos::*;
     } else if #[cfg(all(target_env = "sgx", target_vendor = "fortanix"))] {
         mod fixed_width_ints;
         pub use fixed_width_ints::*;