sel4_platform_info/
lib.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
//

#![no_std]
#![allow(clippy::single_range_in_vec_init)]

use sel4_platform_info_types::PlatformInfo;

include! {
    concat!(env!("OUT_DIR"), "/gen.rs")
}