1 files changed, 6 insertions, 0 deletions
diff --git a/vendor/libc/src/lib.rs b/vendor/libc/src/lib.rs
index acda09159..d9bd318d1 100644
--- a/vendor/libc/src/lib.rs
+++ b/vendor/libc/src/lib.rs
@@ -151,6 +151,12 @@ cfg_if! {
 
         mod wasi;
         pub use wasi::*;
+    } else if #[cfg(target_os = "xous")] {
+        mod fixed_width_ints;
+        pub use fixed_width_ints::*;
+
+        mod xous;
+        pub use xous::*;
     } else {
         // non-supported targets: empty...
     }