mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-26 07:18:26 +08:00
Petr Benes <benesp16@fel.cvut.cz> PR 1912/doc * user/conf.t, user/schedule.t: Rework to add scheduler specific information.
Petr Benes <benesp16@fel.cvut.cz> PR 1912/doc * user/conf.t, user/schedule.t: Rework to add scheduler specific information.