mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-17 08:31:43 +08:00

Sort the configuration option groups according to the likelihood a user will define options of a group. Update #3836.
Sort the configuration option groups according to the likelihood a user will define options of a group. Update #3836.