I found some inconsistencies in this port.
The file RTOSDemo.PRM, where is set paging of Flash memory are probably wrong address.
For example, the page ROM_PAGE3A size is: 0x003A8000 TO 0x003A8255 = 0x255
But normally should have: 0x003A8000 TO 0x003ABFFF = 0x3FFF = 16K
Sorry my english…