redox/recipes/core/profiling-kernel/recipe.toml
2026-04-12 16:41:36 +02:00

11 lines
234 B
TOML

[source]
same_as = "../kernel"
[build]
template = "custom"
script = """
make -f ${COOKBOOK_SOURCE}/Makefile KERNEL_CARGO_FEATURES=profiling
mkdir -pv "${COOKBOOK_STAGE}/usr/lib/boot"
cp -v kernel "${COOKBOOK_STAGE}/usr/lib/boot"
"""