[ada-x64]

Depends on #894

Summary

Enable the built-in _lsprof module on Nanvix and add the four profiling modules to the regression suite.

Verification

The targeted profiling batch passed 61 tests across test_cprofile, test_profile, test_pstats, and test_sys_setprofile, with seven existing subprocess-dependent skips. Verified against the full lifecycle on Nanvix dev at 32419d6cc094; all 170 modules and release packaging passed.

Closes #297

[Copilot]

Pull request overview

Enables the built-in _lsprof module on Nanvix and expands its profiling regression coverage.

Changes:

• Enables _lsprof and regenerates configuration.
• Adds four profiling test modules.
• Guards known Nanvix filesystem incompatibilities.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file

File	Changes
Lib/test/test_pathlib.py	Adds Nanvix skips for affected pathlib tests.
Lib/test/test_genericpath.py	Guards the incompatible timestamp test.
configure.ac	Enables _lsprof on Nanvix.
configure	Regenerates configuration output.
.nanvix/src/config.py	Adds profiling modules to the test suite.

Suppressed comments (1)

.nanvix/src/config.py:112

• These entries are consumed directly by run_regrtest() (.nanvix/src/test.py:430-455), so they change the regression-suite size. .nanvix/NANVIX.md:236-260 still says that ./z test runs 160 modules in 40 batches and omits the profiling group; those claims become stale with these four additions. Please update the Nanvix status documentation together with this list.

    "test_cprofile",
    "test_profile",
    "test_pstats",
    "test_sys_setprofile",

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.