NETMF 4.4 on STM32F4 Discovery Board

Been playing with the NETMF 4.4 port from git hub and I am very impressed the gcc build works and the new NETMF build system is infinitely better than the (crappy) PDK.
Just wondered if any of you guys have been playing with this and is there a forum to discuss issues arising etc.
One problem Ive seen is that the glitch filter seems broken on the InterruptPort.
Kudos to the NETMF 4.4 team :clap:

@ Peter Kenyon - There are a few people playing with it here on the GHI boards, but most of the discussion regarding issues and answers is happening here : Issues ยท NETMF/netmf-interpreter ยท GitHub

thanks guys - see you over there