crates/sel4/sys: Add compile-time assertion

seL4 · Sep 8, 2023 · f1cc9f3 · f1cc9f3
1 parent a89ddab
commit f1cc9f3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crates/sel4/sys/src/syscalls/helpers/arch/x86_64.rs b/crates/sel4/sys/src/syscalls/helpers/arch/x86_64.rs
@@ -6,6 +6,9 @@ use sel4_config::sel4_cfg;
 use crate::{seL4_Word, seL4_MessageInfo};
 use super::sys_id_to_word;
 
+#[sel4_cfg(not(SYSCALL))]
+compile_error!("unsupported configuration");
+
 pub fn sys_send(
     sys: c_int,
     dest: seL4_Word,