I’ve recently completed a port of the kernel and demo for a pure microMIPS build on the PIC32MZ Starter Kit (a PIC32MZ2048ECH144 part), and I have some patches that I’d like to submit to enable the demo to work correctly in microMIPS only mode; what would be the best way to submit them (once they’ve been cleaned up a little) so that they can be incorporated into a future FreeRTOS release? Should I post them here for review, or is there somebody to whom I can send the patches?
A quick summary of what’s been done:
- various assembly files have ‘.set micromips’ inserted into them (both in the demo and the portable kernel source);
- the branches with absolute addresses in ‘RegisterTestTasks.S’ in the demo have been changed to use forward assembly labels (i.e. “beq $22, $0, .+16” -> “beq $22, $0, 0f”).