mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-31 04:00:58 +08:00
Fix this warning. Signed-off-by: Sebastian Huber <sebastian.huber@embedded-brains.de>
Fix this warning. Signed-off-by: Sebastian Huber <sebastian.huber@embedded-brains.de>