mirror of
https://github.com/openglow-org/forgefirm.git
synced 2026-09-28 01:01:12 -07:00
ScottW514
22ce1d0d6d
forgefirm-image-dev has one deploy slot, so the debug variant was clobbering the normal dev image (and a dev rebuild clobbered the debug one back). A distinct IMAGE_BASENAME (forgefirm-image-dev-debug) lets both coexist in the deploy directory.
37 lines
1.7 KiB
YAML
37 lines
1.7 KiB
YAML
# ============================================================================
|
|
# ForgeFIRM — debug-kernel build variant
|
|
# ============================================================================
|
|
# One target: a dev image whose kernel carries the lock-correctness options
|
|
# (DEBUG_MUTEXES, PROVE_LOCKING, DEBUG_ATOMIC_SLEEP, DEBUG_SPINLOCK). It rides
|
|
# the closing build: after the normal release + dev images build, one pass of
|
|
# this config produces a dev image tagged "(dev-debug)". The bench boots it
|
|
# once to run the module load/unload and forced -EPROBE_DEFER drills
|
|
# (forgefirm/scripts/bench/debug_kernel_drills.py), then the real image is
|
|
# flashed. The options never touch a release or a normal dev build.
|
|
#
|
|
# cd forgefirm
|
|
# kas build kas/forgefirm-glowforge-debug.yml
|
|
#
|
|
# The debug kernel has a different config signature, so bitbake rebuilds the
|
|
# kernel and the dev image under it without disturbing the images already in
|
|
# build/tmp/deploy/images/glowforge/; the debug dev image lands beside them
|
|
# with its own DATETIME stamp and the "(dev-debug)" version string.
|
|
# ============================================================================
|
|
|
|
header:
|
|
version: 14
|
|
includes:
|
|
- forgefirm-glowforge.yml
|
|
|
|
target: forgefirm-image-dev
|
|
|
|
local_conf_header:
|
|
debug-kernel: |
|
|
FORGEFIRM_KERNEL_DEBUG = "1"
|
|
FORGEFIRM_VERSION_STRING:pn-forgefirm-image-dev = "${DATETIME} (dev-debug)"
|
|
FORGEFIRM_VERSION_STRING[vardepsexclude] += "DATETIME"
|
|
# A distinct deploy basename so the debug image does not share the dev
|
|
# image's single deploy slot and clobber it. It lands as
|
|
# forgefirm-image-dev-debug-glowforge.rootfs-*.wic.gz beside the others.
|
|
IMAGE_BASENAME:pn-forgefirm-image-dev = "forgefirm-image-dev-debug"
|