MahnoKropotkinvich/redox
1
0
Fork 0
mirror of https://gitlab.redox-os.org/redox-os/redox.git synced 2026-06-23 13:24:17 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add profiling-kernel recipe.

Browse Source
This commit is contained in:
4lDO2 2026-04-12 16:41:36 +02:00
parent 94bf2b6ac6
commit 2d6de453c5
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
recipes/core/profiling-kernel/recipe.toml Normal file
View File

@ -0,0 +1,10 @@
[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"
"""