diff --git a/uhyve-interface/src/lib.rs b/uhyve-interface/src/lib.rs
index 66a24b08..018c8add 100644
--- a/uhyve-interface/src/lib.rs
+++ b/uhyve-interface/src/lib.rs
@@ -23,6 +23,12 @@ pub use ::aarch64::paging::VirtAddr as GuestVirtAddr;
 pub use ::x86_64::addr::PhysAddr as GuestPhysAddr;
 #[cfg(target_arch = "x86_64")]
 pub use ::x86_64::addr::VirtAddr as GuestVirtAddr;
+#[cfg(not(any(target_arch = "x86_64", target_arch = "aarch64")))]
+/// **TODO:** Placeholders to satisfy CI checks. There is no support for other architectures than `x86_64` and `aarch64` yet. **Do not use!**
+pub type GuestPhysAddr = usize;
+#[cfg(not(any(target_arch = "x86_64", target_arch = "aarch64")))]
+/// **TODO:** Placeholders to satisfy CI checks. There is no support for other architectures than `x86_64` and `aarch64` yet. **Do not use!**
+pub type GuestVirtAddr = usize;
 
 #[cfg(not(target_pointer_width = "64"))]
 compile_error!("Using uhyve-interface on a non-64-bit system is not (yet?) supported");