path: root/libpintos-rs/src/lib.rs

#![no_std]

#[link(name="pintos", kind="static")]
extern {
    pub fn exit(status: i32);
}