sel4_sys/syscalls/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: BSD-2-Clause
//

mod calls;
mod helpers;

pub use calls::*;

pub mod syscall_id {
    include!(concat!(env!("OUT_DIR"), "/syscall_ids.rs"));
}