tools/metrics.py: Add VIRT_RV32 to the code size metrics.#15843
Merged
dpgeorge merged 2 commits intomicropython:masterfrom Sep 23, 2024
Merged
tools/metrics.py: Add VIRT_RV32 to the code size metrics.#15843dpgeorge merged 2 commits intomicropython:masterfrom
dpgeorge merged 2 commits intomicropython:masterfrom