mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-07-24 10:45:51 +00:00
fae20dcd68
Change-Id: I4615cdc48996c2d8739a00a4c585d09faf03b63b GitOrigin-RevId: 9a0041d37df0d9526e29171f4c17d339579a44ef
35 lines
1.4 KiB
Rust
35 lines
1.4 KiB
Rust
// Copyright 2022 Google LLC
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
extern crate sel4_config;
|
|
use std::env;
|
|
|
|
fn main() {
|
|
// If SEL4_OUT_DIR is not set we expect the kernel build at a fixed
|
|
// location relative to the ROOTDIR env variable.
|
|
println!("SEL4_OUT_DIR {:?}", env::var("SEL4_OUT_DIR"));
|
|
let sel4_out_dir = env::var("SEL4_OUT_DIR")
|
|
.unwrap_or_else(|_| format!("{}/out/kata/kernel", env::var("ROOTDIR").unwrap()));
|
|
println!("sel4_out_dir {}", sel4_out_dir);
|
|
|
|
// Dredge seL4 kernel config for settings we need as features to generate
|
|
// correct code: e.g. CONFIG_KERNEL_MCS enables MCS support which changes
|
|
// the system call numbering.
|
|
let features = sel4_config::get_sel4_features(&sel4_out_dir);
|
|
println!("features={:?}", features);
|
|
for feature in features {
|
|
println!("cargo:rustc-cfg=feature=\"{}\"", feature);
|
|
}
|
|
}
|