Has anyone been successful porting Prex to a Stellaris chip?

Has anyone been successful porting the Prex OS (prex.sf.net) to a Stellaris chip? I am interested in verifying that Prex can be embedded on smaller memory footprint systems. If someone has already done the work and 开发者_如何学Pythonis willing to share that would be great.

Your link explicitly says the requirements are:

• Processor: 32-bit Processor (x86, ARM, PowerPC)
• Memory: 256KB of RAM (Kernel < 25k bytes)
• Timer: programmable interval timer

Since the kernel is under 25 KB, I would guess it will probably just work; this stellaris page says the chip has 96 KB of SRAM. Depending on your application requirements, you should be off to the races. What specific problems are you having?