rtel wrote on Wednesday, June 20, 2018:
Turns out there is a FreeRTOS MPU port for IAR in the official SVN
repository, but there doesn’t seem to be a demo project for it, hence I
missed it when I looked the first time, and I don’t recall how it was
tested.