Add seL4_WordBits type for arm target

This enables our default root-task to build with the `arm-sel4-helios` target. Since bindgen doesn't seem to expand function like macros, this gets us by for now. Relates to #18
PolySync · May 2, 2018 · a0da999 · a0da999
1 parent 5d01511
commit a0da999
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/libsel4-sys/src/lib.rs b/libsel4-sys/src/lib.rs
@@ -72,4 +72,7 @@ pub unsafe extern "C" fn strcpy(
     dest
 }
 
+#[cfg(target = "arm-sel4-helios")]
+pub const seL4_WordBits: u32 = 32;
+
 include!(concat!(env!("OUT_DIR"), "/bindings.rs"));