[lurtz]

high integrity applications must be modified via lisa-elf-enabler to be recognized as such. Until now the SDK provides now way to achieve that using bazel.

[Copilot]

🔵 Needs a closer look

The SDK-dependent transformation of high-integrity executables needs a confirmed integration run before approval.

1 open issue

• Quote rootpath expansion to preserve SDK enabler path · New

What changed in this PR

Adds an SDK-bound elf_enabler() Bazel rule so EBcLfSA applications can receive the ELF metadata required for high-integrity recognition.

Changes:

• Generates an ELF-enabler entry point bound to each EBcLfSA toolchain’s SDK.
• Copies and post-processes executables without modifying the original output.
• Adds host-side integration checks, CI execution, and usage documentation.

File	Description
tests/​README.md	Documents the new test suite and command.
tests/​MODULE.bazel.lock	Updates the GCC extension digest.
tests/​MODULE.bazel	Adds shell rules and imports the SDK package.
tests/​ebclfsa/​original.cc	Adds a minimal executable fixture.
tests/​ebclfsa/​integration_test.sh	Checks ELF transformation and input preservation.
tests/​ebclfsa/​BUILD	Defines SDK-gated fixtures and integration tests.
tests/​BUILD	Registers the ELF-enabler test suite.
rules/​gcc.bzl	Generates the SDK-bound entry point.
rules/​ebclfsa/​elf_enabler.bzl.template	Binds the rule to its toolchain package.
rules/​ebclfsa/​elf_enabler.bzl	Implements copy-and-enable processing.
rules/​ebclfsa/​BUILD	Exports the implementation and template.
rules/​BUILD	Establishes the Bazel package boundary.
README.md	Links the ELF-enabler documentation.
docs/​tests_and_validation.md	Normalizes the final newline.
docs/​test_suite.md	Describes the new integration suite.
docs/​repository_layout.md	Documents the new rule, test, and documentation directories.
docs/​generation_flow.md	Describes entry-point generation.
docs/​ebclfsa/​elf_enabler.md	Documents usage, SDK binding, contracts, and tests.
.github/​workflows/​ebclfsa.yml	Adds ELF-enabler tests to CI.

_{Review effort: Balanced}