I have not seen anyone trying to port FreeRTOS to Intel Galileo. Take a look at this post Galileo Debian v1.1 image someone has ported Debian to Galileo and there is a long discussion about it. It might help. I encourage you to continue porting the OS to Galileo and sharing your findings with the community.
Thanks for the encouragement !!
I am thinking of replacing GRUB by the FreeRTOS binary so that the jump from UEFI directly passes control to FreeRTOS and I do not have to worry about initialization.
I have a basic stub of the port files which can be built.
I might create a Git Repo once the port files are implemented a bit.
The FreeRTOS port lists already contain some ports using DOS so I think that would be a good place to start for me.
I have got a port file ready to test. It basically only sets up the stack and will not run FreeRTOS.
Can anybody shed some insight as to how do I transfer the binary on the board and pass control to it. The only way I could think of was to try to build the galileo files with freeRTOS.bin instead of grub.efi by changing the flash.config file. But I dont think so that is working
I received a request to get this port working from Intel management. After working with Richard Barry for several months we achieved success. This port can be found here: FreeRTOS running on the Intel Galileo (x86/IA32 Quark SoC X1000)