mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-26 04:18:29 +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.