Hi
we would like to propose to use RTX RTOS as base for the NETMF, ths RTOS is directly supported by ARM and is now release free and open source so anyone can use it with no royalties.
we have already added the RTX sources to PK 4.2 build tree and the RTX itself compiles ok, but we have not yet made full integration.
another thing to add would be the support of ITM as debug channel, or first serial port channel during debugging, this would almost allow to make a generic Cortex M code that would work in minimal version on almost any Cortex given the CMSIS library are present. RTX takes care of startup and threading, ITM what is standard on all Cortex would be used as Debug.Print(), so same vanilla platorm would bootup on almost all targets with minimal modifications.
Antti