sel4_sys/
c.rs

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

use crate::bf::*;

include!(concat!(env!("OUT_DIR"), "/bindings.rs"));