Since that release on Friday I also pushed the MonoDevelop.Tizen add-in into the public repository at http://addins.monodevelop.com
so that you don't even need to set up the custom "channel". The
add-in just appears in the built-in "Stable" channel in MonoDevelop and
I have also submitted the HelloWorldTizenOSP application to the Tizen
Store, to see what Samsung think of applications with Mono embedded.
We do have the option of going Full AOT (just like Xamarin.iOS) if that
is required to get passed the Samsung approval process. That route, though,
is not LGPLv2 compliant and will require developers to get a commercial
Mono license from Xamarin.