mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-11-05 14:38:57 +08:00
Sebastian Huber
e58e29fdb9
This header file contained timing overhead values which are hard to maintain. Update #3254.