github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-05-05 22:16:47 +00:00
Code Issues Projects Releases Wiki Activity

sel4-sys: purge build-env manifest entry

Browse Source 
Change-Id: I2f9e397c80bc1e8a9a23c72d507ea3aa4a13ad25
GitOrigin-RevId: d78f428613467efb30e0d1d7b04f8ad10cc3f298
This commit is contained in:
Sam Leffler 2022-09-19 17:55:28 +00:00
parent 0f00de9795
commit 4f6df89be3
1 changed files with 1 additions and 12 deletions

13
apps/system/components/kata-os-common/src/sel4-sys/Cargo.toml
View File

@ -17,22 +17,11 @@ readme = "README.md"
license = "MIT/Apache-2.0"
build = "build.rs"
# NB: the sel4-config crate tries to sync features to a kernel build by
# NB: the sel4-config crate sync's features to a kernel build by
# parsing build artifacts (see the crate).
[build-dependencies]
sel4-config = { path = "../sel4-config" }
# NB: used by build.rs
[build-env]
# Name of python3 interpreter executable, defaults to "python3"
PYTHON = "python3"
# Pathname to seL4 kernel source
SEL4_DIR = "${ROOTDIR}kata/kernel"
# Pathname to seL4 kernel build artifacts (used by sel4-config)
SEL4_OUT_DIR = "${ROOTDIR}out/kata/kernel"
# Beware CONFIG_KERNEL_MCS & CONFIG_SMP_SUPPORT must match the kernel
# config for syscall numbering (aka invocation labeling) to line up.
# Other syscalls api's are generated only when the associated config