1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

// We kinda need to run on nightly to make xargo work
// However, it would be nice to avoid having to depend on unstable features
// TODO: Investigate switching to marker types
#![feature(optin_builtin_traits)]

extern crate libc;

extern crate libc_extra;

#[macro_export]
macro_rules! printc {
    ($($arg:tt)*) => ($crate::print_impl::print_args(format_args!($($arg)*)));
}

pub mod sys;

pub mod kernel_api;
pub mod print_impl;
pub mod sl;
pub mod sl_lock;