mirror of
https://github.com/mudita/MuditaOS.git
synced 2026-07-18 20:14:12 -04:00
Just copy in newer header cause incompatibility and runtime errors. Specificaly assertion in port.c connected to ISR priorities. Signed-off-by: Roman Kubiak <roman.kubiak@mudita.com> Co-authored-by: Artur Mądrzak <amadrzak@onplick.com>