Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.
You might want to consider porting FunkOS over to ARM Cortex-M0. I expect the NXP LPC111x to be popular in the near future because they are suppose to ship it in DIP, SO, SSOP packages. I think this will be the first ARM chip in any of those package types.
I added FunkOS to the "ARM Cortex-M" and "STM32" wikipedia articles.