sel4_platform_info/
lib.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7#![no_std]
8#![allow(clippy::single_range_in_vec_init)]
9
10use sel4_platform_info_types::PlatformInfo;
11
12include! {
13    concat!(env!("OUT_DIR"), "/gen.rs")
14}