Skip to content

Fix #1349, rename pc-rtems to generic-rtems #7

Fix #1349, rename pc-rtems to generic-rtems

Fix #1349, rename pc-rtems to generic-rtems #7

Annotations

1 warning

Run format check  /  Run format check

succeeded Feb 29, 2024 in 14s